Sciweavers

11234 search results - page 288 / 2247
» A Microsurgery Simulation System
Sort
View
ICRA
2003
IEEE
225views Robotics» more  ICRA 2003»
15 years 11 months ago
Post-stabilization for rigid body simulation with contact and constraints
— Rigid body dynamics with contact constraints can be solved locally using linear complementarity techniques. However, these techniques do not impose the original constraints and...
Michael B. Cline, Dinesh K. Pai
SI3D
1995
ACM
15 years 10 months ago
Behavioral Control for Real-Time Simulated Human Agents
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
John P. Granieri, Welton Becket, Barry D. Reich, J...
ENTCS
2002
76views more  ENTCS 2002»
15 years 6 months ago
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
In [19] Rutten introduced the notion of weak bisimulations and weak bisimilarity for coalgebras of the functor F(X) = X +O. In the present paper I will introduce a notion of weak ...
Jan Rothe
ASPLOS
2011
ACM
14 years 10 months ago
Mementos: system support for long-running computation on RFID-scale devices
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
Benjamin Ransford, Jacob Sorber, Kevin Fu
CIKM
2011
Springer
14 years 6 months ago
Building directories for social tagging systems
Today, a number of algorithms exist for constructing tag hierarchies from social tagging data. While these algorithms were designed with ontological goals in mind, we know very li...
Denis Helic, Markus Strohmaier