828 search results - page 41 / 166 » types 2000 |
126
click to vote
DCG
2000
15 years 5 months ago
2000
We consider rotations A, B of finite order in SO(3), about axes separated by an angle of restricted type, and attempt to classify the possible group relations between A and B. We s...
164
click to vote
TYPES
2000
Springer
15 years 9 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
168
click to vote
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
Current models for cardinal directions, such as north and northeast, are either point-based or region-based, but no models exist that apply equally, independent of the geometric d...
167
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
The quest for a vision system capable of representing and recognizing arbitrary motions benefits from a low dimensional, non-specific representation of flow fields, to be used in ...
130
click to vote
ECIS
2001
15 years 7 months ago
2001
This paper presents a new curriculum for the Internet and e-business that has been developed at University of Redlands in Southern California with first offering in 2000. The pape...