2819 search results - page 228 / 564 » Automatic Structures |
108
click to vote
ISSRE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
108
click to vote
AVSS
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, a system for automatic robust video surveillance is described and in particular its application to the problem of locating vehicles that stop in prohibited area is ...
129
Voted
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
- In this work we address the problem of perception, spatial cognition and topological navigation for a mobile robot. The objective of this work is to enable the navigation of an a...
MMM
2006
Springer
15 years 8 months ago
2006
Springer
Accessing specific or salient parts of multimedia recordings remains a challenge as there is no obvious way of structuring and representing a mix of space-based and timebased med...
113
click to vote
ITRUST
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...