5200 search results - page 779 / 1040 » Symbolic models for control systems |
299
click to vote
ICDE
1996
IEEE
16 years 8 months ago
1996
IEEE
The Mariposa distributed data manager uses an economic model for managing the allocation of both storage objects and queries to servers. In this paper, we present extensions to th...
220
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
208
click to vote
SIGGRAPH
1989
ACM
15 years 11 months ago
1989
ACM
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...
184
click to vote
CSFW
2010
IEEE
15 years 11 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
212
click to vote
MVA
1996
15 years 8 months ago
1996
automatically updated during the matching process, This paper describes a real-time tracking system which detects an object entering into the field of view of camera and executes t...