Sciweavers

8587 search results - page 34 / 1718
» Interactive dynamic abstraction
Sort
View
OOPSLA
2010
Springer
13 years 7 months ago
A dynamic evaluation of the precision of static heap abstractions
Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv
ENTCS
2011
72views more  ENTCS 2011»
13 years 4 months ago
Abstract Interpretation of Dynamics of Biological Regulatory Networks
Loïc Paulevé, Morgan Magnin, Olivier R...
AR
2002
157views more  AR 2002»
13 years 9 months ago
Acquiring state from control dynamics to learn grasping policies for robot hands
Abstract--A prominent emerging theory of sensorimotor development in biological systems proposes that control knowledge is encoded in the dynamics of physical interaction with the ...
Roderic A. Grupen, Jefferson A. Coelho Jr.
MIDDLEWARE
2005
Springer
14 years 2 months ago
Middleware for protocol-based coordination in dynamic networks
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
Kurt Schelfthout, Danny Weyns, Tom Holvoet