Sciweavers

4418 search results - page 104 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
CIBB
2009
15 years 5 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
142
Voted
ICCS
2000
Springer
15 years 7 months ago
A Conceptual Graph Model for W3C Resource Description Framework
With the aim of building a "Semantic Web", the content of the documents must be explicitly represented through metadata in order to enable contents-guided search. Our app...
Olivier Corby, Rose Dieng, Cédric Hé...
171
Voted
SIGIR
2008
ACM
15 years 4 months ago
Discriminative probabilistic models for passage based retrieval
The approach of using passage-level evidence for document retrieval has shown mixed results when it is applied to a variety of test beds with different characteristics. One main r...
Mengqiu Wang, Luo Si
134
Voted
ECAI
2006
Springer
15 years 7 months ago
Computational Opinions
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
Felix A. Fischer, Matthias Nickles
SIGIR
1998
ACM
15 years 8 months ago
Improving Automatic Query Expansion
Most casual users of IR systems type short queries. Recent research has shown that adding new words to these queries via adhoc feedback improves the retrieval e ectiveness of such ...
Mandar Mitra, Amit Singhal, Chris Buckley