Sciweavers

7431 search results - page 193 / 1487
» Temporal Information Extraction
Sort
View
GLVLSI
2009
IEEE
125views VLSI» more  GLVLSI 2009»
15 years 10 months ago
Spatial and temporal design debug using partial MaxSAT
Design debug remains one of the major bottlenecks in the VLSI design cycle today. Existing automated solutions strive to aid engineers in reducing the debug effort by identifying ...
Yibin Chen, Sean Safarpour, Andreas G. Veneris, Jo...
EXACT
2007
15 years 8 months ago
Learning Models from Temporal-Logic Properties via Explanations
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
Miguel A. Carrillo, David A. Rosenblueth
IDA
2006
Springer
15 years 6 months ago
Temporal Bayesian classifiers for modelling muscular dystrophy expression data
The analysis of microarray data from time-series experiments requires specialised algorithms, which take the temporal ordering of the data into account. In this paper we explore a ...
Allan Tucker, Peter A. C. 't Hoen, Veronica Vincio...
CLEF
2003
Springer
15 years 11 months ago
Report on CLEF-2003 Experiments: Two Ways of Extracting Multilingual Resources from Corpora
Abstract. We present in this report two main approaches to cross-language information retrieval based on the exploitation of multilingual corpora to derive cross-lingual term-term ...
Nicola Cancedda, Hervé Déjean, &Eacu...
AIRS
2006
Springer
15 years 8 months ago
Automated Object Extraction for Medical Image Retrieval Using the Insight Toolkit (ITK)
Visual information retrieval is an emerging domain in the medical field as it has been in computer vision for more than ten years. It has the potential to help better managing the ...
Henning Müller, Joris Heuberger, Adrien Depeu...