Sciweavers

679 search results - page 24 / 136
» hybrid 2010
Sort
View
ENTCS
2010
139views more  ENTCS 2010»
13 years 10 months ago
Spartacus: A Tableau Prover for Hybrid Logic
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
Daniel Götzmann, Mark Kaminski, Gert Smolka
LREC
2010
164views Education» more  LREC 2010»
13 years 11 months ago
Hybrid Citation Extraction from Patents
The Quaero project organized a set of evaluations of Named Entity recognition systems in 2009, including reference extraction in patent text. The LIMSI participated in this evalua...
Olivier Galibert, Sophie Rosset, Xavier Tannier, F...
COR
2010
119views more  COR 2010»
13 years 10 months ago
Algorithms for a realistic variant of flowshop scheduling
This paper deals with a realistic variant of flowshop scheduling, namely the hybrid flexible flowshop. A hybrid flowshop mixes the characteristics of regular flowshops and paralle...
B. Naderi, Rubén Ruiz, M. Zandieh
LREC
2010
220views Education» more  LREC 2010»
13 years 11 months ago
An Unsupervised Approach for Semantic Relation Interpretation
In this work we propose a hybrid unsupervised approach for semantic relation extraction from Italian and English texts. The system takes as input pairs of "distributionally s...
Emiliano Giovannetti
ICNC
2010
Springer
13 years 8 months ago
A hybrid intelligent early warning system for predicting economic crises: The case of China
—This paper combines artificial neural networks (ANN), fuzzy optimization and time-series econometric models in one unified framework to form a hybrid intelligent early warning...
Dongwei Su, Xingxing He