3693 search results - page 313 / 739 » Paper on the Move |
202
click to vote
ICPADS
1996
IEEE
15 years 10 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
186
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
157
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
The efficient planning ofcontact tasks for intelligent robotic systems requires a thorough understanding of the kinematic constraints im on the system by C l J -form analyticeolut...
167
click to vote
SIGCSE
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes instructional tools, LLparse and LRparse, for visualizing and interacting with small examples of LL and LR parsing. These tools can be used to understand the ...
144
click to vote
STOC
1993
ACM
15 years 10 months ago
1993
ACM
We consider a class of routing problems on connected graphs G. Initially, each vertex v of G is occupied by a “pebble” which has a unique destination π(v) in G (so that π is...