Sciweavers

317 search results - page 13 / 64
» Real Recursive Functions and Real Extensions of Recursive Fu...
Sort
View
125
Voted
EUROPAR
2009
Springer
15 years 16 days ago
Argument Controlled Profiling
Profiling tools relate measurements to code context such as function names in order to guide code optimization. For a more detailed analysis, call path or phase-based profiling enh...
Tilman Küstner, Josef Weidendorfer, Tobias We...
124
Voted
ADBIS
2003
Springer
95views Database» more  ADBIS 2003»
15 years 8 months ago
Distance Join Queries of Multiple Inputs in Spatial Databases
Let a tuple of n objects obeying a query graph (QG) be called the n-tuple. The “Ddistance-value” of this n-tuple is the value of a linear function of distances of the n objects...
Antonio Corral, Yannis Manolopoulos, Yannis Theodo...
126
Voted
CORR
2007
Springer
107views Education» more  CORR 2007»
15 years 2 months ago
Functional Multi-Layer Perceptron: a Nonlinear Tool for Functional Data Analysis
In this paper, we study a natural extension of Multi-Layer Perceptrons (MLP) to functional inputs. We show that fundamental results for classical MLP can be extended to functional...
Fabrice Rossi, Brieuc Conan-Guez
136
Voted
NJC
2000
169views more  NJC 2000»
15 years 2 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
144
Voted
LICS
2010
IEEE
15 years 20 days ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius