4767 search results - page 566 / 954 » Structures for Abstract Rewriting |
217
click to vote
SEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
182
click to vote
TYPES
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
145
click to vote
ICALT
2003
IEEE
16 years 3 days ago
2003
IEEE
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...
144
click to vote
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
Abstract – Cable-suspended robots are structurally similar to parallel actuated robots but with the fundamental difference that cables can only pull the end-effector but not pu...
126
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...