1585 search results - page 268 / 317 » A framework for computer-aided validation |
115
click to vote
ICIAP
2009
ACM
14 years 9 months ago
2009
ACM
Abstract. The recognition of events in videos is a relevant and challenging task of automatic semantic video analysis. At present one of the most successful frameworks, used for ob...
119
click to vote
ICMI
2009
Springer
14 years 9 months ago
2009
Springer
Affect sensitivity is of the utmost importance for a robot companion to be able to display socially intelligent behaviour, a key requirement for sustaining long-term interactions ...
ICRA
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper we propose a framework for synchronization based control (SBC) using neural oscillators for motion assist. A neural oscillator is used to accomplish synchronization a...
134
click to vote
COMSIS
2010
14 years 9 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
128
click to vote
HEURISTICS
2010
14 years 9 months ago
2010
The urban transit routing problem (UTRP) is NP-Hard and involves devising routes for public transport systems. It is a highly complex multiply constrained problem and the evaluati...