256 search results - page 31 / 52 » Timing Verification by Successive Approximation |
102
click to vote
AAAI
2004
15 years 3 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 7 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...
123
click to vote
ICRA
2003
IEEE
15 years 7 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...
135
click to vote
CAIP
1997
Springer
15 years 6 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...
123
click to vote
JBCB
2007
15 years 1 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...