2509 search results - page 379 / 502 » Abstract Geometrical Computation and Computable Analysis |
ROBOCUP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The Segway Human Transport (HT) is a one person dynamically selfbalancing transportation vehicle. The Segway Robot Mobility Platform (RMP) is a modification of the HT cap...
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
AMR
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Extraction of visual descriptors is a crucial problem for stateof-the-art visual information analysis. In this paper, we present a knowledgebased approach for detection o...
ICCBR
2003
Springer
14 years 3 months ago
2003
Springer
In the CBR literature from the past 25 years there is a considerable amount of research work that makes use of cases that are subspaces of some representation space rather than poi...
COMPLEX
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. An interesting phenomenon about phyllotaxis is the divergence angle between two consecutive primordia. In this paper, we consider a dynamic model based on Max-Min princip...