1600 search results - page 133 / 320 » The human-robot interaction operating system |
192
click to vote
AGTIVE
2007
Springer
16 years 15 days ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
138
click to vote
CPHYSICS
2004
15 years 6 months ago
2004
A treecode algorithm is presented for computing the electrostatic potential and electric field in a system of charged particles. The algorithm is grid-free and with N particles it...
164
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes inte...
146
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
We present an indoor wireless localization system that is capable of room-level localization based solely on 802.11 network signal strengths and usersupplied training data. Our sys...
188
click to vote
FM
2009
Springer
16 years 27 days ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...