837 search results - page 108 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a liquid-fuel powered pneumatic actuator appropriate for human-scale autonomous robotics. The motivation for this work is the development of a lightweight actu...
SIGGRAPH
1992
ACM
14 years 1 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
OPODIS
2010
13 years 6 months ago
2010
The need for efficient decentralized recommender systems has been appreciated for some time, both for the intrinsic advantages of decentralization and the necessity of integrating...
DATAMINE
2002
13 years 8 months ago
2002
Collaborative recommender systems allow personalization for e-commerce by exploiting similarities and dissimilarities among customers' preferences. We investigate the use of a...
VIS
2004
IEEE
14 years 10 months ago
2004
IEEE
We present a system for simulating and visualizing the propagation of dispersive contaminants with an application to urban security. In particular, we simulate airborne contaminan...