1960 search results - page 266 / 392 » The Logic of Large Enough |
RIA
2008
15 years 9 days ago
2008
Situations, the semantic interpretations of context, provide a better basis for selecting adaptive behaviours than context itself. The definition of situations typically rests on t...
122
Voted
ADHOCNETS
2010
Springer
14 years 11 months ago
2010
Springer
Communication neighborhood in wireless sensor networks changes often as links break or appear. Therefore, monitoring link quality and (logical) network topology is necessary. As no...
140
click to vote
AIRS
2010
Springer
14 years 11 months ago
2010
Springer
The Slot Filling task requires a system to automatically distill information from a large document collection and return answers for a query entity with specified attributes (`slot...
117
click to vote
CAV
2010
Springer
14 years 11 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
107
Voted
DLOG
2009
14 years 10 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...