Sciweavers

1108 search results - page 16 / 222
» Visualization of Uncertainty and Reasoning
Sort
View
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
13 years 11 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
ICRA
2003
IEEE
126views Robotics» more  ICRA 2003»
14 years 21 days ago
Real-time tracking and pose estimation for industrial objects using geometric features
— This paper presents a fast tracking algorithm capable of estimating the complete pose (6DOF) of an industrial object by using its circular-shape features. Since the algorithm i...
Youngrock Yoon, Guilherme N. DeSouza, Avinash C. K...
AIME
2003
Springer
14 years 20 days ago
Constraint Reasoning in Deep Biomedical Models
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
Jorge Cruz, Pedro Barahona
CVPR
2007
IEEE
14 years 9 months ago
Discovery of Collocation Patterns: from Visual Words to Visual Phrases
A visual word lexicon can be constructed by clustering primitive visual features, and a visual object can be described by a set of visual words. Such a "bag-of-words" re...
Junsong Yuan, Ying Wu, Ming Yang
ESWS
2008
Springer
13 years 9 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
Pavel Klinov