Sciweavers

531 search results - page 31 / 107
» An Argumentation-Based Approach for Practical Reasoning
Sort
View
IJCAI
2007
15 years 1 months ago
Scalable Diagnosability Checking of Event-Driven Systems
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
Anika Schumann, Yannick Pencolé
DLOG
2006
15 years 1 months ago
Finding Subsumers for Natural Language Presentation
This work is motivated by the task of describing in natural language a concept defined in an OWL DL ontology. However, rather than focussing on linguistic issues, we address the q...
Chris Mellish, Jeff Z. Pan
CVPR
2012
IEEE
13 years 2 months ago
A grammar for hierarchical object descriptions in logic programs
Modeling objects using formal grammars has recently regained much attention in computer vision. Probabilistic logic programming, such as Bilattice based Logical Reasoning (BLR), i...
Toufiq Parag, Claus Bahlmann, Vinay D. Shet, Manee...
ICFP
2012
ACM
13 years 2 months ago
Functional programming with structured graphs
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
Bruno C. d. S. Oliveira, William R. Cook
TVCG
2012
183views Hardware» more  TVCG 2012»
13 years 2 months ago
Empirical Studies in Information Visualization: Seven Scenarios
—We take a new, scenario-based look at evaluation in information visualization. Our seven scenarios, evaluating visual data analysis and reasoning, evaluating user performance, e...
Heidi Lam, Enrico Bertini, Petra Isenberg, Catheri...