2490 search results - page 104 / 498 » Complexity of Contextual Reasoning |
143
click to vote
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Recent advances in high-throughput experimental techniques have enabled the production of a wealth of protein interaction data, rich in both quantity and variety. While t...
151
click to vote
GEOINFORMATICA
2008
15 years 4 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
165
click to vote
ESWA
2008
15 years 2 months ago
2008
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...
139
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
152
click to vote
MKWI
2008
15 years 5 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...