588 search results - page 103 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
140
Voted
CIRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
125
Voted
ISPW
1996
IEEE
15 years 6 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
135
Voted
CVPR
2004
IEEE
16 years 4 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...
238
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
147
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...