24444 search results - page 4244 / 4889 » A Data Model for Data Integration |
192
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we tackle the problem of object detection and tracking in a new and challenging domain of wide area surveillance. This problem poses several challenges: large camera...
199
click to vote
CVPR
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a learning-based hierarchical approach of multi-target tracking from a single camera by progressively associating detection responses into longer and longer track fragm...
188
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
206
click to vote
HRI
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents a proof-of-concept of a robot that is adapting its behaviour on-line, during interactions with a human according to detected play styles. The study is part of ...
219
click to vote
ICCAD
2007
IEEE
15 years 11 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...