3281 search results - page 197 / 657 » Bases for parametrized iterativity |
106
click to vote
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
110
click to vote
KES
1999
Springer
15 years 6 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
SIGGRAPH
1990
ACM
15 years 6 months ago
1990
ACM
This paper proposes to use relief-mapped conical frusta (cones cut by planes) to skin skeletal objects. Based on this representation, current programmable graphics hardware can pe...
DFT
2006
IEEE
15 years 5 months ago
2006
IEEE
With the recent development of nanoscale materials and assembly techniques, it is envisioned to build high-density reconfigurable systems which have never been achieved by the pho...
146
click to vote
ESA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We consider the problem of finding shortest paths in a graph with independent randomly distributed edge lengths. Our goal is to maximize the probability that the path len...