Sciweavers

4762 search results - page 326 / 953
» About the use of protein models
Sort
View
ECAI
2004
Springer
16 years 3 days ago
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
Christian Köhler, Artur Ottlik, Hans-Hellmut ...
JLP
2000
134views more  JLP 2000»
15 years 6 months ago
Abducing through negation as failure: stable models within the independent choice logic
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
David Poole
EPEW
2010
Springer
15 years 4 months ago
Performance Modeling and Analysis of the Universal Control Hub
Abstract. People with special needs may find difficulties using electronic consumer devices, user interfaces limit their chances of having full control on them. The Universal Remot...
Elena Gómez-Martínez, José Me...
ECCV
2006
Springer
15 years 10 months ago
Tracking of Multiple Objects Using Optical Flow Based Multiscale Elastic Matching
Abstract. A novel hybrid region-based and contour-based multiple object tracking model using optical flow based elastic matching is proposed. The proposed elastic matching model is...
Xingzhi Luo, Suchendra M. Bhandarkar
FSTTCS
2001
Springer
15 years 11 months ago
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
Cristiano Calcagno, Hongseok Yang, Peter W. O'Hear...