800 search results - page 126 / 160 » On the Complexity of Parity Games |
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
Supply chains are ubiquitous in the manufacturing of many complex products. Traditionally, supply chains have been created through the interactions of human representatives of the ...
ATVA
2006
Springer
14 years 24 days ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
ACMACE
2009
ACM
14 years 11 days ago
2009
ACM
The Zuzen framework is an intelligent tool set for assisting in the generation of machinima. With Zuzen, users that are novice cinematographers do not need to use complex movie-ma...
ICOST
2010
Springer
13 years 11 months ago
2010
Springer
This article presents a service robotic system for people loosing their autonomy developed at CEA LIST. In the past on SAM robot, we have developed a method for automatic manipulat...
ACSD
2006
IEEE
13 years 11 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...