Sciweavers

1626 search results - page 53 / 326
» Computing the Types of the Relationships between Autonomous ...
Sort
View
167
Voted
CVPR
1997
IEEE
15 years 9 months ago
Depth from Scattering
Light power is a ected when it crosses the atmosphere; there is a simple, albeit non-linear, relationship between the radiance of an image at any given wavelength and the distance...
Fabio Gagliardi Cozman, Eric Krotkov
136
Voted
ESANN
2006
15 years 6 months ago
Construction of a memory management system in an on-line learning mechanism
This paper is the first of a two paper series that deals with an important problem in on-line learning mechanisms for autonomous agents that must perform non trivial tasks and oper...
Francisco Bellas, José Antonio Becerra, Ric...
143
Voted
POPL
2003
ACM
15 years 10 months ago
From control effects to typed continuation passing
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
Hayo Thielecke
156
Voted
FOCS
1998
IEEE
15 years 9 months ago
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
John C. Mitchell, Mark Mitchell, Andre Scedrov
ACSD
2005
IEEE
71views Hardware» more  ACSD 2005»
15 years 11 months ago
Maximal Causality Analysis
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
Klaus Schneider, Jens Brandt, Tobias Schüle, ...