Sciweavers

7529 search results - page 190 / 1506
» The Modula-3 Type System
Sort
View
167
Voted
FAC
2010
105views more  FAC 2010»
15 years 4 months ago
A formalization of geometric constraint systems and their decomposition
For more than a decade, the trend in geometric constraint systems solving has been to use a geometric decomposition/recombination approach. These methods are generally grounded on...
Pascal Mathis, Simon E. B. Thierry
SCHOLARPEDIA
2008
122views more  SCHOLARPEDIA 2008»
15 years 4 months ago
Calogero-Moser system
ABSTRACT. We discuss a special eigenstate of the quantized periodic CalogeroMoser system associated to a root system. This state has the property that its eigenfunctions, when rega...
Francesco Calogero
COLING
2002
15 years 6 months ago
The Chinese Aspect System and its Semantic Interpretation
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...
Guowen Yang, John A. Bateman
MVA
2007
158views Computer Vision» more  MVA 2007»
15 years 5 months ago
Development of Ladder-type Laser Scanning System for 3-D Modeling of Vertical and Narrow Areas by Space-time Analysis
In this paper, we propose a novel type of 3-D scanning system named ‘Ladder-type laser scanning system,’ designed for scanning vertical and narrow areas. Two line scanners are...
Shintaro Ono, Katsushi Ikeuchi
ROBOTICA
2008
121views more  ROBOTICA 2008»
15 years 5 months ago
Kinematic and dynamic performance analysis of artificial legged systems
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
Manuel F. Silva, José António Tenrei...