250 search results - page 13 / 50 » State Space Representation for Verification of Open Systems |
ASE
2004
14 years 9 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘o...
ACL
2010
14 years 7 months ago
2010
Most supervised language processing systems show a significant drop-off in performance when they are tested on text that comes from a domain significantly different from the domai...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
The state of the art in visual object retrieval from large databases is achieved by systems that are inspired by text retrieval. A key component of these approaches is that local ...
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...