2661 search results - page 378 / 533 » Model Checking Performability Properties |
ISMAR
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a real-time model-based line tracking approach with adaptive learning of image edge features that can handle partial occlusion and illumination changes. A CAD (VRML) mo...
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
We propose an agent-based behavioral model of pedestrians to improve tracking performance in realistic scenarios. In this model, we view pedestrians as decision-making agents who ...
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper, we address invariant keypoint-based texture characterization and recognition. Viewing keypoint sets associated with visual textures as realizations of point process...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
CODES
2006
IEEE
14 years 9 days ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...