2519 search results - page 121 / 504 » Reasoning with Textual Cases |
171
click to vote
OTM
2007
Springer
16 years 7 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
174
Voted
DAGSTUHL
2010
15 years 7 months ago
2010
Interactive Visualization has been used to study scientific phenomena, analyze data, visualize information, and to explore large amounts of multivariate data. It enables the human...
164
click to vote
ARTMED
2006
15 years 6 months ago
2006
Objective. In this article, we propose new methods to visualize and reason about spatiotemporal epidemiological data. Background. Efficient computerized reasoning about epidemics ...
163
click to vote
ESWS
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Ontology matching has become an important field of research over the last years. Although many different approaches have been proposed, only few of them are committed t...
164
Voted
ISSTA
2009
ACM
16 years 19 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...