1119 search results - page 156 / 224 » Single View Metrology |
138
click to vote
ICRA
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract— This paper describes a method of mirror localization to calibrate a catadioptric imaging system. Even though the calibration of a catadioptric system includes the estim...
134
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we focus on the problem of finding a periodic allocation strategy for teams of resource-bounded agents. We propose a real-time dynamic algorithm RTDA , that exploi...
148
click to vote
COCO
2007
Springer
15 years 11 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
171
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, an O(n4 ) algorithm...
154
click to vote
IFL
2007
Springer
15 years 11 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...