1728 search results - page 196 / 346 » The Size of Power Automata |
153
click to vote
WSC
1989
15 years 7 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
177
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Ant robots have very low computational power and limited memory. They communicate by leaving pheromones in the environment. In order to create a cooperative intelligent behavior, ...
157
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
148
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
Algorithmic methods based on the theory of fixed-parameter tractability are combined with powerful computational platforms to launch systematic attacks on combinatorial problems o...
164
click to vote
AR
2006
15 years 6 months ago
2006
Human exoskeletons add the strength and endurance of robotics to a human's innate intellect and adaptability to help people transport heavy loads over rough, unpredictable ter...