317 search results - page 4 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
ENTCS
2007
14 years 9 months ago
2007
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...
JMLR
2006
14 years 9 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opt...
66
Voted
ISQED
2007
IEEE
15 years 3 months ago
2007
IEEE
Inspired by recent success of analytical placers that use a logarithmsum-exponential (LSE) to smooth half-perimeter wirelength (HPWL), we consider in this paper two alternative sm...
TSP
2008
14 years 9 months ago
2008
This paper presents a novel and mathematically rigorous Bayes recursion for tracking a target that generates multiple measurements with state dependent sensor field of view and clu...