20059 search results - page 3704 / 4012 » The Satellite Data Model |
124
click to vote
ALGORITHMICA
2000
15 years 1 months ago
2000
Localization is the process of determining the robot's location within its environment. More precisely, it is a procedure which takes as input a geometric map, a current estim...
135
click to vote
CGF
2000
15 years 1 months ago
2000
We present a fast, memory efficient algorithm that generates a manifold triangular mesh S passing through a set of unorganized points P R3 . Nothing is assumed about the geometry,...
ENTCS
2000
15 years 1 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
117
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
120
click to vote
ETS
2000
IEEE
15 years 1 months ago
2000
IEEE
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...