1271 search results - page 66 / 255 » On Simulation-Checking with Sequential Systems |
IWPC
2006
IEEE
14 years 4 months ago
2006
IEEE
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
AE
2001
Springer
14 years 2 months ago
2001
Springer
In the last few years, the coevolutionary paradigm has shown an increasing interest thanks to its high ability to manage huge search spaces. Particularly, the cooperative interacti...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
WSCG
2004
13 years 11 months ago
2004
In this paper requirements and conditions for the visitor identification system are outlined and an example system is proposed. Two main subsystems: face detection and face recogn...
AUTOMATICA
2008
13 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...