Sciweavers

1907 search results - page 119 / 382
» Visualizing Action Semantics
Sort
View
AROBOTS
1998
111views more  AROBOTS 1998»
13 years 8 months ago
Emergence and Categorization of Coordinated Visual Behavior Through Embodied Interaction
This paper discusses the emergence of sensorimotor coordination for ESCHeR, a 4DOF redundant foveated robot-head, by interaction with its environment. A feedback-error-learning(FEL...
Luc Berthouze, Yasuo Kuniyoshi
CSFW
2009
IEEE
14 years 9 days ago
Specification and Analysis of Dynamic Authorisation Policies
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
Moritz Y. Becker
JLP
2007
74views more  JLP 2007»
13 years 8 months ago
Linearity and bisimulation
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
Nobuko Yoshida, Kohei Honda, Martin Berger
CIB
2005
101views more  CIB 2005»
13 years 8 months ago
Association-Based Segmentation for Chinese-Crossed Query Expansion
The continually and high-rate growth of China's economy has attracted more and more international investors. These investors have an urgent need of identifying patterns in Chi...
Chengqi Zhang, Zhenxing Qin, Xiaowei Yan
HCI
2009
13 years 6 months ago
OntoDesk: Ontology-Based Persistent System-Wide Undo on the Desktop
Recovery is an important aspect of user experience. However, current desktop environments lack a system-wide undo facility. OntoDesk is an ontology-based experimental desktop syste...
David Nemeskey, Buntarou Shizuki, Jiro Tanaka