3379 search results - page 535 / 676 » Combinators for Interaction Nets |
159
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
133
click to vote
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
2004
Springer
Diagrams are an effective means of conveying concrete, abstract or symbolic information about systems. Here, individuals or pairs of participants produced assembly instructions aft...
181
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
151
click to vote
HAPTICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Based on a distributed architecture for real-time collection and broadcast of haptic information to multiple participants, heterogeneous haptic devices (the PHANToM and the CyberG...
142
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— We develop a joint playout buffer and Forward Error Correction (FEC) adjustment scheme for Internet Telephony, which incorporates the impact of end-to-end delay on the perceive...