2593 search results - page 269 / 519 » constraints 2007 |
146
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a technique that controls the peak power consumption of a high-density server by implementing a feedback controller that uses precise, system-level power measurement to ...
277
click to vote
MLMI
2007
Springer
16 years 24 days ago
2007
Springer
We describe a method for recovering 3D human body pose from silhouettes. Our model is based on learning a latent space using the Gaussian Process Latent Variable Model (GP-LVM) [1]...
167
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Problem solvers, both human and machine, have at their disposal many heuristics that may support effective search. The efficacy of these heuristics, however, varies with the probl...
184
click to vote
ISOLA
2007
Springer
16 years 24 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
199
click to vote
ADHOC
2007
15 years 6 months ago
2007
We investigate the problem of modeling node capture attacks in heterogeneous wireless ad hoc and mesh networks. Classical adversarial models such as the Dolev–Yao model are know...