4860 search results - page 691 / 972 » SNPs Problems, Complexity, and Algorithms |
161
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
178
click to vote
ROBOCUP
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes the hardware and software architecture of the Attempto RoboCup-99 team. We first present the design of our heavily modified commercial robotic base, the robo...
165
click to vote
MINAR
1998
Springer
15 years 10 months ago
1998
Springer
SimilarityIndexing is very importantfor content-basedretrieval on large multimedia databases, and the "tightness"of data set envelope is a factor that influences the perf...
187
click to vote
CVPR
1996
IEEE
15 years 10 months ago
1996
IEEE
The problem of determining feature correspondences across multiple views is considered. The term true multi-image" matching is introduced to describe techniques that make ful...
236
click to vote
CVRMED
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we address the problem of extracting geometric models from low contrast volumetric images, given a template or reference shape of that model. We proceed by deforming...