11739 search results - page 77 / 2348 » Slideshow: functional presentations |
124
Voted
PERVASIVE
2004
Springer
15 years 9 months ago
2004
Springer
We present a lightweight search function for physical objects in instrumented environments. Objects are tagged with optical markers which are scanned by a steerable camera and pro...
106
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
140
Voted
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
121
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the implementation, on Virtex FPGAs, of a core generator for arbitrary numeric functions in fixed-point format. The cores use the state-of-theart multipartite...
120
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— The purpose of this paper is to continue to develop the recently introduced concept of a regular positivereal function and its application to the classification of lowcomplexi...