Sciweavers

1421 search results - page 176 / 285
» The First and Second Max-SAT Evaluations
Sort
View
CORR
2007
Springer
120views Education» more  CORR 2007»
15 years 6 months ago
On the Feedback Capacity of Power Constrained Gaussian Noise Channels with Memory
—For a stationary additive Gaussian-noise channel with a rational noise power spectrum of a finite-order L, we derive two new results for the feedback capacity under an average ...
Shaohua Yang, Aleksandar Kavcic, Sekhar Tatikonda
IJRR
2006
115views more  IJRR 2006»
15 years 6 months ago
Knotting/Unknotting Manipulation of Deformable Linear Objects
Here, we propose a planning method for knotting/unknotting of deformable linear objects. First, we propose a topological description of the state of a linear object. Second, trans...
Hidefumi Wakamatsu, Eiji Arai, Shinichi Hirai
JFP
2008
109views more  JFP 2008»
15 years 6 months ago
An operational semantics for Scheme
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
Jacob Matthews, Robert Bruce Findler
IVS
2006
97views more  IVS 2006»
15 years 6 months ago
Human perception of structure in shaded space-filling visualizations
Very early in the object recognition process the human visual system extracts shading information. While shading can enhance the visibility of structures, it can have a negative i...
Pourang Irani, Dean Slonowsky, Peer Shajahan
JAIR
2006
160views more  JAIR 2006»
15 years 6 months ago
Anytime Point-Based Approximations for Large POMDPs
The Partially Observable Markov Decision Process has long been recognized as a rich framework for real-world planning and control problems, especially in robotics. However exact s...
Joelle Pineau, Geoffrey J. Gordon, Sebastian Thrun