666 search results - page 69 / 134 » Inspector Methods for State Abstraction |
ADBIS
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
AUTOMATICA
2008
14 years 10 months ago
2008
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
107
click to vote
FM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
ICB
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We present a novel approach for human gait recognition that inherently combines appearance and motion. Dynamic texture descriptors, Local Binary Patterns from Three Ortho...
IDEAL
2007
Springer
15 years 3 months ago
2007
Springer
Recently researchers have introduced methods to develop reusable knowledge in reinforcement learning (RL). In this paper, we define simple principles to combine skills in reinforce...