1763 search results - page 92 / 353 » A Formalization of Polytime Functions |
MCS
2008
Springer
14 years 9 months ago
2008
Springer
A deeper understanding of quantum effects in nano-electronic devices helps to improve the functionality and to develop new device types. The performance of carbon nanotube (CNT) f...
PKDD
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Innovations such as optimistic exploration, function approximation, and hierarchical decomposition have helped scale reinforcement learning to more complex environments, ...
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
ACCV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper addresses the problem of super resolution - obtaining a single high-resolution image given a set of low resolution images which are related by small displaceme...
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...