1271 search results - page 168 / 255 » On Simulation-Checking with Sequential Systems |
106
Voted
IOR
2002
15 years 2 months ago
2002
In this study, an adaptive Bayesian decision model is developed to determine the optimal replacement age for the systems maintained according to a general age replacement policy. I...
159
click to vote
ANTSW
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. In this work, we propose a method for self-organized adaptive task partitioning in a swarm of robots. Task partitioning refers to the decomposition of a task into less co...
141
Voted
WCET
2010
15 years 12 days ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
119
Voted
ICMCS
2009
IEEE
15 years 9 days ago
2009
IEEE
In annotation overlay applications using augmented reality (AR), view management is widely used for improving readability and intelligibility of the annotations. In order to recog...
148
Voted
CVIU
2010
15 years 2 months ago
2010
This paper presents a real-time vision-based system to assist a person with dementia wash their hands. The system uses only video inputs, and assistance is given as either verbal ...