3381 search results - page 190 / 677 » Extending Dependencies with Conditions |
179
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
166
click to vote
IVC
2002
15 years 6 months ago
2002
We consider the self-calibration problem for a moving camera whose intrinsic parameters are known, except the focal length, which may vary freely across different views. The condi...
161
click to vote
SIAMJO
2002
15 years 6 months ago
2002
Abstract. We study the situation in which, having solved a linear program with an interiorpoint method, we are presented with a new problem instance whose data is slightly perturbe...
100
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—Inspired by the simplicity of how nature solves its problems, we implement a bacteria controller on a physical platform that would enable the localisation and subsequent mapping...
149
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Most theoretical research on routing games in telecommunication networks has so far dealt with reciprocal congestion effects between routed entities. Yet in networks that suppor...