Sciweavers

3001 search results - page 106 / 601
» Recursive type generativity
Sort
View
120
Voted
IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
15 years 7 months ago
A Compilation Scheme for a Hierarchy of Array Types
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
Dietmar Kreye
131
Voted
IJRR
2002
107views more  IJRR 2002»
15 years 2 months ago
Design of a Parallel-Type Gripper Mechanism
A new parallel-type gripper mechanism is proposed in this work. This device has a parallelogramic platform that can be flexibly folded. Therefore, this mechanism not only can be u...
Byung-Ju Yi, Heung Yeol Na, Jae Hoon Lee, Yeh-Sun ...
148
Voted
RSA
2010
118views more  RSA 2010»
15 years 1 months ago
Weight of a link in a shortest path tree and the Dedekind Eta function
The weight of a randomly chosen link in the shortest path tree on the complete graph with exponential i.i.d. link weights is studied. The corresponding exact probability generatin...
Piet Van Mieghem
POPL
2007
ACM
16 years 2 months ago
Lightweight fusion by fixed point promotion
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
Atsushi Ohori, Isao Sasano
117
Voted
IEEECGIV
2009
IEEE
15 years 9 months ago
Monomial Forms for Curves in CAGD with their Applications
—There are several methods used for plotting curves in CAGD, e.g., by directly computing their basis functions (polynomials) or using their recursive algorithms. For the former m...
Chanon Aphirukmatakun, Natasha Dejdumrong