33356 search results - page 172 / 6672 » Models of Continual Computation |
170
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
The past decade has witnessed many interesting algorithms for maintaining statistics over a data stream. This paper initiates a theoretical study of algorithms for monitoring distr...
133
click to vote
IROS
2007
IEEE
16 years 22 days ago
2007
IEEE
— In this paper, we propose a new method for the motion planning problem of rigid object dexterous manipulation with a robotic multi-fingered hand, under quasi-static movement a...
173
click to vote
HPCC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
162
click to vote
TLCA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
187
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and ...