3765 search results - page 24 / 753 » Qualitative Action Systems |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
IJCAI
1989
13 years 9 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
IPM
2006
13 years 8 months ago
2006
In image retrieval, most systems lack user-centred evaluation since they are assessed by some chosen ground truth dataset. The results reported through precision and recall assess...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
LCTRTS
2010
Springer
13 years 6 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...