4099 search results - page 291 / 820 » First Class Patterns |
184
click to vote
IJCAI
1997
15 years 8 months ago
1997
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
181
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
In this paper we study averaging algorithms and coverage control laws in a unified light. First, we characterize the convergence properties of averaging algorithms over acyclic di...
84
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Maturation inhibitors are a new class of antiretroviral drugs. Bevirimat (BVM) was the first substance in this class of inhibitors entering clinical trials. While the ...
173
click to vote
CAS
2008
15 years 6 months ago
2008
In this paper we first present a novel approach to determine the structural information content (graph entropy) of a network represented by an undirected and connected graph. Such...
217
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Researchers in textual entailment have begun to consider inferences involving downward-entailing operators, an interesting and important class of lexical items that change the way...