3229 search results - page 398 / 646 » The Theory of Timed Automata |
172
click to vote
MIRRORBOT
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
150
Voted
RTA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
202
click to vote
PEWASUN
2004
ACM
16 years 5 days ago
2004
ACM
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
161
click to vote
AI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
156
click to vote
ARGMAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...