Sciweavers

229 search results - page 30 / 46
» A New Feasible Natural Language Database Query Method
Sort
View
TREC
2004
13 years 9 months ago
Concept Extraction and Synonymy Management for Biomedical Information Retrieval
This paper reports on work done for the Genomics Track at TREC 2004 by ConverSpeech LLC in conjunction with scientists at the Saccharomyces Genome Database (SGD), the model organi...
Colleen E. Crangle, Alex Zbyslaw, J. Michael Cherr...
EDBTW
2004
Springer
14 years 1 months ago
MIRA: Multilingual Information Processing on Relational Architecture
In today’s global village, it is critical that the key information tools, such as web search engines, e-Commerce portals and e-Governance, work across multiple natural languages,...
A. Kumaran
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 2 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
DEXAW
1999
IEEE
146views Database» more  DEXAW 1999»
14 years 7 days ago
SIM - A System for Semi-Automatic Indexing of Multilingual Documents
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
Ulrich Schiel, Ianna M. S. F. de Sousa, Edberto Fe...
ICDE
2009
IEEE
159views Database» more  ICDE 2009»
14 years 9 months ago
Sketch-Based Summarization of Ordered XML Streams
XML streams, such as RSS feeds or complex event streams, are becoming increasingly pervasive as they provide the foundation for a wide range of emerging applications. An important...
Veronica Mayorga, Neoklis Polyzotis