1271 search results - page 168 / 255 » On Simulation-Checking with Sequential Systems |
IOR
2002
13 years 9 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...
ANTSW
2010
Springer
13 years 8 months 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...
WCET
2010
13 years 8 months 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...
ICMCS
2009
IEEE
13 years 8 months 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...
CVIU
2010
13 years 10 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 ...