4460 search results - page 751 / 892 » Formal methods for interactive systems |
143
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this research project, an integration of multi-agent technology and optimization techniques is suggested for the combined production and transport planning problem in a transpo...
162
Voted
IAT
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a self-organizing cognitive architecture, known as TD-FALCON, that learns to function through its interaction with the environment. TD-FALCON learns the value ...
105
Voted
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
2005
IEEE
Third generation mobile communication systems will provide more advanced types of interactive and distribution services, and video is one of the most prominent applications for mu...
102
Voted
VRST
2005
ACM
15 years 9 months ago
2005
ACM
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
138
Voted
DAGM
2005
Springer
15 years 9 months ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...