319 search results - page 51 / 64 » Improved Model Checking of Hierarchical Systems |
ICRA
2009
IEEE
14 years 4 months ago
2009
IEEE
— We propose a system for improving grasping using fingertip optical proximity sensors that allows us to perform online grasp adjustments to an initial grasp point without requi...
ESAW
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
SIGIR
2008
ACM
13 years 9 months ago
2008
ACM
The classical probabilistic models attempt to capture the Ad hoc information retrieval problem within a rigorous probabilistic framework. It has long been recognized that the prim...
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
We address the problem of multi-person tracking in a complex scene from a single camera. Although trackletassociation methods have shown impressive results in several challenging ...