250 search results - page 30 / 50 » State Space Representation for Verification of Open Systems |
CVIU
2008
14 years 9 months ago
2008
This survey covers the historical development and current state of the art in image understanding for iris biometrics. Most research publications can be categorized as making thei...
70
Voted
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
AAAI
2007
14 years 11 months ago
2007
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is to determine, online, all faults and states that explain the flow of observatio...
ECAIW
1994
Springer
15 years 28 days ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
115
click to vote
LICS
1998
IEEE
15 years 1 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...