256 search results - page 31 / 52 » Timing Verification by Successive Approximation |
AAAI
2004
15 years 1 months ago
2004
We introduce anytime mechanisms for distributed optimization with self-interested agents. Anytime mechanisms retain good incentive properties even when interrupted before the opti...
SIGCSE
2005
ACM
15 years 5 months ago
2005
ACM
There is growing interest in computing courses for non-CS majors. We have recently built such a course that has met with positive response. We describe our design process, which i...
101
click to vote
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— We have demonstrated that a properlyequipped mobile robot can easily construct a detailed map of the wireless coverage of an urban environment. The Autonomous Vehicle f...
109
click to vote
CAIP
1997
Springer
15 years 4 months ago
1997
Springer
This paper addresses the problem of accurately tracking the 3D motion of a monocular camera in a known 3D environment and dynamically estimating the 3D camera location. For that pu...
104
click to vote
JBCB
2007
14 years 11 months ago
2007
Mechanistic models for transcriptional regulation are derived using the methods of equilibrium statistical mechanics, to model equilibrating processes that occur at a fast time sc...