Sciweavers

2765 search results - page 229 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
FLAIRS
2007
15 years 9 months ago
A Model for Qualitative Spatial Reasoning Combining Topology, Orientation and Distance
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
David Brageul, Hans W. Guesgen
CVPR
2005
IEEE
16 years 8 months ago
A Dynamic Conditional Random Field Model for Object Segmentation in Image Sequences
This paper presents a dynamic conditional random field (DCRF) model to integrate contextual constraints for object segmentation in image sequences. Spatial and temporal dependenci...
Qiang Ji, Yang Wang 0002
HAPTICS
2007
IEEE
16 years 1 months ago
Soft Finger Model with Adaptive Contact Geometry for Grasping and Manipulation Tasks
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...
Matei T. Ciocarlie, Claire Lackner, Peter K. Allen
UML
2005
Springer
16 years 5 days ago
Modeling Aspect-Oriented Compositions
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
PPDP
1999
Springer
15 years 11 months ago
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
Ulrich Neumerkel, Frédéric Mesnard