2169 search results - page 225 / 434 » Testing Incremental Adaptation |
117
Voted
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
128
Voted
ANSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
114
Voted
CBMS
2007
IEEE
15 years 9 months ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
125
Voted
ICDCSW
2007
IEEE
15 years 9 months ago
2007
IEEE
Mobile devices are still memory-constrained when compared to desktop and laptop computers. Thus, in some circumstances, even while occupied by useful objects, some memory must be ...
117
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— Robotic motion planning requires configuration space exploration. In high-dimensional configuration spaces, a complete exploration is computationally intractable. Practical m...