3166 search results - page 254 / 634 » Translation By Structural Correspondences |
190
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In vivo observation of cells in the Arabidopsis thaliana root, by time-lapse confocal microscopy, is central to biology research. The research herein described is based on large a...
188
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper addresses the problem of exploring an unknown environment with a team of mobile robots. The key issue in coordinated multi-robot exploration is how to assign target ...
159
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The derivation of specific models from reference models corresponds with the creation of reference model variants. Research on the design of such variant constructions generally a...
158
click to vote
ACCV
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This paper proposes a novel and efficient feature-point matching algorithm for finding point correspondences between two uncalibrated images. The striking feature of th...
191
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...