2002 search results - page 176 / 401 » Interactive technical illustration |
143
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...
156
click to vote
COSIT
2009
Springer
15 years 11 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
154
click to vote
AICCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
154
Voted
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
115
Voted
HAPTICS
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe a time-domain passivity control methodology that uses programmable eddy current viscous dampers to prevent a user from extracting energy from a haptic interface. A pas...