Sciweavers

1562 search results - page 122 / 313
» Convenience Over Correctness
Sort
View
AAAI
2008
13 years 11 months ago
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
In a seminal paper, Lin and Reiter introduced a modeltheoretic definition for the progression of the initial knowledge base of a basic action theory. This definition comes with a ...
Stavros Vassos, Hector J. Levesque
APPROX
2008
Springer
190views Algorithms» more  APPROX 2008»
13 years 11 months ago
The Complexity of Local List Decoding
We study the complexity of locally list-decoding binary error correcting codes with good parameters (that are polynomially related to information theoretic bounds). We show that co...
Dan Gutfreund, Guy N. Rothblum
NIPS
2008
13 years 10 months ago
Optimal Response Initiation: Why Recent Experience Matters
In most cognitive and motor tasks, speed-accuracy tradeoffs are observed: Individuals can respond slowly and accurately, or quickly yet be prone to errors. Control mechanisms gove...
Matt Jones, Michael C. Mozer, Sachiko Kinoshita
SIROCCO
2007
13 years 10 months ago
Optimal Conclusive Sets for Comparator Networks
A set of input vectors S is conclusive if correct functionality for all input vectors is implied by correct functionality over vectors in S. We consider four functionalities of co...
Guy Even, Tamir Levi, Ami Litman
IMAGING
2001
13 years 10 months ago
High Dynamic Range Imaging
The ultimate in color reproduction is a display that can produce arbitrary spectral content over a 300-800 nm range with 1 arc-minute resolution in a full spherical hologram. Alth...
Greg Ward