Sciweavers

4767 search results - page 322 / 954
» Moving between Contexts
Sort
View
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
16 years 12 days ago
Improving Odour Analysis Through Human-Robot Cooperation
— More and more work in the field of artificial olfaction considers the integration of olfaction onto robotic systems. An important part of this integration is providing the ro...
Amy Loutfi, Silvia Coradeschi
ESOP
2005
Springer
16 years 10 days ago
A Type System Equivalent to a Model Checker
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
Mayur Naik, Jens Palsberg
DEXAW
2000
IEEE
134views Database» more  DEXAW 2000»
15 years 11 months ago
Agent-Oriented Concepts to Foster the Automation of E-Business
Improving the efficiency of e-Business usage requires the further development of automation techniques for interorganizational business processes as a major driver. Automation ca...
Andreas Bartelt, Winfried Lamersdorf
SIGGRAPH
1996
ACM
15 years 11 months ago
Visual Models of Plants Interacting with Their Environment
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
Radomír Mech, Przemyslaw Prusinkiewicz
CHI
2005
ACM
16 years 7 months ago
CoR2Ds
We present a new popup widget, called CoR2Ds (Context-Rooted Rotatable Draggables), designed for multi-user direct-touch tabletop environments. CoR2Ds are interactive callout popu...
Chia Shen, Clifton Forlines, Frédéri...