1698 search results - page 184 / 340 » Growing Complex Games |
ATAL
2006
Springer
15 years 1 months 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
15 years 1 months 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. ...
86
Voted
CAV
2006
Springer
15 years 1 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
ACMACE
2009
ACM
15 years 1 months 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
15 years 2 days 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...