3387 search results - page 523 / 678 » Model-Checking for Real-Time Systems |
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper presents an object active visual search behavior in a 3D environment performed by a HRP-2 humanoid robot. The search is formalized as an optimization problem in whic...
MMM
2007
Springer
14 years 4 months ago
2007
Springer
Real time rendering of animated crowds has many practical multimedia applications. The Graphics Processor Unit (GPU) is being increasingly employed to accelerate associated renderi...
RTCSA
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we explore the possibility of using commodity graphics processing units (GPUs) to speedup standard schedulability analysis algorithms. Our long-term goal is to explo...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper an efficient scheduling mechanism for wireless local area networks (WLAN) is proposed. This innovative scheme, named hybrid HCCA-EDCA centralised scheme (HHECS), is b...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Collaborative construction is a main application in the field of autonomous systems. An interesting subject in the area is the construction of realistic human-like architecture. ...