422 search results - page 52 / 85 » Reconstructing Algebraic Functions from Mixed Data |
CHI
2003
ACM
14 years 10 months ago
2003
ACM
We introduce Amigo ? an Instant Messaging (IM) client for handheld computers. Amigo allows free-form images as well as handwriting to be sent between people, taking advantage of t...
RSP
2005
IEEE
14 years 3 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
PPDP
2007
Springer
14 years 4 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
WFLP
2000
Springer
14 years 1 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
TIP
2010
13 years 4 months ago
2010
Lidar waveforms are 1D signals representing a train of echoes caused by reflections at different targets. Modeling these echoes with the appropriate parametric function is useful ...