Experiments were performed to reveal some of the computational properties of the human motor memory system. We show that as humans practice reaching movements while interacting wi...
Reza Shadmehr, Tom Brashers-Krug, Ferdinando A. Mu...
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
H. Van Dyke Parunak, Sven Brueckner, Robert S. Mat...
EnCompass®1 , a web-enabled system for organizational process visualization, analysis, synthesis, and management, provides an interactive vehicle for understanding the influence ...
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
In Smart Spaces (SSs), the capability of learning from experience is fundamental for autonomous adaptation to environmental changes and for proactive interaction with users. New re...
Alessio Dore, Andrea F. Cattoni, Carlo S. Regazzon...