3013 search results - page 67 / 603 » Context-Oriented Domain Analysis |
108
Voted
CLEF
2008
Springer
15 years 2 months ago
2008
Springer
This article describes our participation at the Domain-Specific track. We used the Xtrieval framework [2], [3] for the preparation and execution of the experiments. The translatio...
96
Voted
IANDC
2010
14 years 10 months ago
2010
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
116
Voted
CADE
2002
Springer
16 years 27 days ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
107
Voted
ICPR
2008
IEEE
2008
IEEE
Gene function prediction using protein domain probability and hierarchical Gene Ontology information
15 years 7 months ago
The Gene Ontology (GO) is a controlled vocabulary of terms to describe protein functions. It also includes a hierarchical description of the relationships among the terms in the f...
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multip...