2432 search results - page 90 / 487 » High-level approach to modeling of observed system behavior |
161
click to vote
IROS
2007
IEEE
16 years 17 days ago
2007
IEEE
— A method for segmentation and recognition of human body behavior data is proposed. Recognition of human body movements is getting larger interests in robotic research field, s...
163
click to vote
UIC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Runtime detection of contextual properties is one of the primary approaches to enabling context-awareness. Existing property detection schemes implicitly assume that cont...
150
click to vote
CVPR
2008
IEEE
16 years 23 days ago
2008
IEEE
We propose a shape population metric that reflects the interdependencies between points observed in a set of examples. It provides a notion of topology for shape and appearance m...
157
click to vote
CONCUR
1991
Springer
15 years 9 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
159
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...