Sciweavers

734 search results - page 95 / 147
» Narrowing the Narrowing Space
Sort
View
APLAS
2000
ACM
14 years 6 days ago
An Open Environment for Cooperative Equational Solving
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
Tetsuo Ida, Mircea Marin
ICFP
2000
ACM
14 years 6 days ago
The duality of computation
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
Pierre-Louis Curien, Hugo Herbelin
JCDL
2010
ACM
148views Education» more  JCDL 2010»
14 years 5 days ago
Citing for high impact
The question of citation behavior has always intrigued scientists from various disciplines. While general citation patterns have been widely studied in the literature we develop t...
Xiaolin Shi, Jure Leskovec, Daniel A. McFarland
SIGGRAPH
1999
ACM
14 years 4 days ago
Deep Compression for Streaming Texture Intensive Animations
This paper presents a streaming technique for synthetic texture intensive 3D animation sequences. There is a short latency time while downloading the animation, until an initial f...
Daniel Cohen-Or, Yair Mann, Shachar Fleishman
SIGGRAPH
1999
ACM
14 years 4 days ago
Modeling and Rendering of Weathered Stone
Stone is widespread in its use as a building material and artistic medium. One of its most remarkable qualities is that it changes appearance as it interacts with the environment....
Julie Dorsey, Alan Edelman, Henrik Wann Jensen, Ju...