Sciweavers

1687 search results - page 83 / 338
» Light Functional Interpretation
Sort
View
STOC
2009
ACM
187views Algorithms» more  STOC 2009»
16 years 6 months ago
Artin automorphisms, cyclotomic function fields, and folded list-decodable codes
Algebraic codes that achieve list decoding capacity were recently constructed by a careful "folding" of the Reed-Solomon code. The "low-degree" nature of this f...
Venkatesan Guruswami
ICFP
2007
ACM
16 years 6 months ago
Termination analysis and call graph construction for higher-order functional programs
The analysis and verification of higher-order programs raises the issue of control-flow analysis for higher-order languages. The problem of constructing an accurate call graph for...
Damien Sereni
TOG
2002
107views more  TOG 2002»
15 years 5 months ago
Synthesis of bidirectional texture functions on arbitrary surfaces
The bidirectional texture function (BTF) is a 6D function that can describe textures arising from both spatially-variant surface reflectance and surface mesostructures. In this pa...
Xin Tong, Jingdan Zhang, Ligang Liu, Xi Wang, Bain...
CHI
2006
ACM
16 years 6 months ago
Because I carry my cell phone anyway: functional location-based reminder applications
Although they have potential, to date location-based information systems have not radically improved the way we interact with our surroundings. To study related issues, we develop...
Pamela J. Ludford, Dan Frankowski, Ken Reily, Kurt...
EEMMAS
2007
Springer
16 years 10 days ago
Engineering Systems Which Generate Emergent Functionalities
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
Marie Pierre Gleizes, Valérie Camps, Jean-P...