5372 search results - page 737 / 1075 » Robotics and interactive simulation |
135
click to vote
CGF
2000
15 years 6 months ago
2000
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...
159
click to vote
ENTCS
2002
15 years 6 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
181
click to vote
JCNS
1998
15 years 6 months ago
1998
A reduction method is used to analyze a spatially structured network model of inhibitory neurons. This network model displays wave propagation of postinhibitory rebound activity, w...
182
Voted
HCI
2009
15 years 4 months ago
2009
This research aims to propose a design management system for helping designer to make arrangement of the furniture in a film shooting studio. The main issue is that furniture has i...
173
Voted
RAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Mechatronics technologies are now steadily penetrating in our daily lives. We are surrounded by mechatronic products and interact with them in many ways. In particular, mechatroni...