Sciweavers

1068 search results - page 167 / 214
» For completeness, sublogarithmic space is no space
Sort
View
IMAGING
2000
13 years 9 months ago
Spectral-Based Six-Color Separation Minimizing Metamerism
A spectral-based six-color printer model was derived in determining the six color separations for an input spectral image that yields the least metameric reproduction relative to ...
Di-yuan Tzeng, Roy S. Berns
UAI
1998
13 years 9 months ago
Tractable Inference for Complex Stochastic Processes
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...
Xavier Boyen, Daphne Koller
AAAI
1994
13 years 9 months ago
Situated Plan Attribution for Intelligent Tutoring
Plan recognition techniques frequently make rigid assumptions about the student's plans, and invest substantial effort to infer unobservable properties of the student. The pe...
Randall W. Hill Jr., W. Lewis Johnson
ATAL
2010
Springer
13 years 8 months ago
Augmenting appearance-based localization and navigation using belief update
Appearance-based localization compares the current image taken from a robot's camera to a set of pre-recorded images in order to estimate the current location of the robot. S...
George Chrysanthakopoulos, Guy Shani
C3S2E
2010
ACM
13 years 8 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire