5015 search results - page 581 / 1003 » Model Checking a Path |
210
click to vote
CSREAPSC
2006
15 years 8 months ago
2006
Mobile users need lightweight devices with low energy consumption. When applications are executed on remote servers instead of locally on the end-user's device, the weight of...
180
click to vote
CGF
2000
15 years 6 months ago
2000
When articulated figures interact in a 3D environment, collisions are highly likely and must often be avoided. We present a method automatically producing realistic collision-free...
209
click to vote
AAI
2010
15 years 6 months ago
2010
This paper presents an approach for generating steering behaviors of groups of characters based on the space colonization algorithm, that has been used in the past for generating l...
216
click to vote
NPL
2007
15 years 6 months ago
2007
Autonomous mobile robots form an important research topic in the field of robotics due to their near-term applicability in the real world as domestic service robots. These robots ...
283
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
IEEE 802.15.4 multi-hop wireless networks are an important communication infrastructure for many applications, including industrial control, home automation, and smart grids. Exist...