1382 search results - page 86 / 277 » Interactive pen-and-ink illustration |
169
click to vote
IROS
2009
IEEE
16 years 28 days 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...
175
click to vote
COSIT
2009
Springer
16 years 26 days 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 ...
175
click to vote
AICCSA
2008
IEEE
16 years 23 days 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...
172
click to vote
CSFW
2008
IEEE
16 years 23 days 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...
129
click to vote
HAPTICS
2007
IEEE
16 years 18 days 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...