Future and Emerging Trends in Language Technology. Machine Learning and Big Data : Second International Workshop, FETLT 2016, Seville, Spain, November 30 -December 2, 2016, Revised Selected Papers. [elektronicky zdroj]

Autor: Quesada, José F.

Externí odkaz: Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)

Towards a Topic Discovery and Tracking System with Application to News Items

Autor: Brüggermann, Daniel, Hermey, Yannik, Orth, Carsten, Schneider, Darius, Selzer, Stefan, Spanakis, Gerasimos, Quesada, José F, Martín Mateos, Francisco-Jesús, López Soto, Teresa

Publikováno v: Future and Emerging Trends in Language Technology: Machine Learning and Big Data, FETLT 2016, 183-197
STARTPAGE=183;ENDPAGE=197;TITLE=Future and Emerging Trends in Language Technology: Machine Learning and Big Data, FETLT 2016
Lecture Notes in Computer Science ISBN: 9783319693644
FETLT

Rapid proliferation of the World Wide Web led to an enormous increase in the availability of textual corpora. In this paper, the problem of topic detection and tracking is considered with application to news items. The proposed approach explores two

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a0ea282c142fb02842a8f8a7c3b97ce
https://cris.maastrichtuniversity.nl/en/publications/68c5ce2b-43e3-42e7-9b21-2d985f02f868

Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm

Autor: Lambán Pardo, Laureano, Rubio, Julio, Martín Mateos, Francisco Jesús, Ruiz Reina, José Luis

Publikováno v: idUS. Depósito de Investigación de la Universidad de Sevilla
instname

The Eilenberg–Zilber algorithm is one of the central components of the computer algebra system called Kenzo, devoted to computing in Algebraic Topology. In this article we report on a complete formal proof of the underlying Eilenberg–Zilber theor

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::3589d262404a9f56c5a534d2ff23d97e

Sensorización y control de un proceso de mecanizado utilizando un sistema experto basado en reglas

Autor: Serrano Bello, Rafael, González Valencia, Luis Carlos, Martín Mateos, Francisco Jesús

Publikováno v: idUS: Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
idUS. Depósito de Investigación de la Universidad de Sevilla
instname

Aunque el proceso de fabricación por arranque de viruta ha evolucionado mucho en los últimos años con la incorporación de controles electrónicos que gestionan el proceso, aun consume excesivo tiempo de mano de obra cualificada. Esta investigaci�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::693cdf5a46e14024bd8264b73dd19a02

Constructing Formally Verified Reasoners for the ALC Description Logic

Autor: Hidalgo Doblado, María José, Alonso Jiménez, José Antonio, Martín Mateos, Francisco Jesús, Ruiz Reina, José Luis

Publikováno v: idUS. Depósito de Investigación de la Universidad de Sevilla
instname

Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. Recently, its importance has been increased since they are used as a basis for the Ontology Web Language (OWL) used for the Semantic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::775b5c7d12ba7b53e6f03cc50372b520