3053 search results - page 49 / 611 » Structured Objects: Modeling and Reasoning |
112
click to vote
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
CSL
2007
Springer
15 years 5 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
129
click to vote
KR
2000
Springer
15 years 5 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
126
click to vote
ICCV
2001
IEEE
16 years 3 months ago
2001
IEEE
We develop a framework for 3?D shape and motion recovery of articulated deformable objects. We propose a formalism that incorporates the use of implicit surfaces into earlier robo...
126
click to vote
IMCSIT
2010
14 years 11 months ago
2010
This paper presents a system for segmentation of images into regions and annotation of these regions for semantic identification of the objects present in the image. The unified me...