488 search results - page 94 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
We pose the problem of 3D human tracking as one of inference in a graphical model. Unlike traditional kinematic tree representations, our model of the body is a collection of loos...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
Reflective middleware provides an effective way to support adaptation in distributed systems. However, as distributed systems become increasingly complex, certain drawbacks of the...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
There has been a significant increase in interest and participation in social networking websites recently. For many users, social networks are indispensable tools for sharing pe...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Discovering users' specific and implicit geographic intention in web search can greatly help satisfy users' information needs. We build a geo intent analysis system that...