2136 search results - page 41 / 428 » Learning Behavior Models for Hybrid Timed Systems |
105
click to vote
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Most robotic vision algorithms are proposed by envisaging robots operating in structured environments where the world is assumed to be rigid. These algorithms fail to provide o...
113
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
157
Voted
IBPRIA
2007
Springer
15 years 2 months ago
2007
Springer
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
114
click to vote
ITSSA
2006
15 years 14 days ago
2006
Abstract: This paper targets the reactive autonomic system's self-monitoring of one of the most important nonfunctional properties, reliability. There are currently no adequat...
108
Voted
MASCOTS
2010
15 years 1 months ago
2010
In this paper, we develop a queuing theory based analytical model to evaluate the performance of transactional memory. Based on the statistical characteristics observed on actual e...