4463 search results - page 410 / 893 » computing 2000 |
191
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
161
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
In this paper it is shown how to perform hand-eye calibration using only the normal flow field and knowledge about the motion of the hand. The proposed method comprise a simple way...
132
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper presents an individual evolutionary strategy devised for image analysis applications. The example problem chosen is obstacle detection using a pair of cameras. The algo...
168
Voted
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
One of the crucial elements in the Internet’s success is its ability to adequately control congestion. This paper defines and solves several optimization problems related to In...
179
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents biological evidence for camouflage breaking using the convexity of the intensity function. Some animals use apatetic coloring especially to prevent their detec...