Sciweavers

3154 search results - page 324 / 631
» Computing Closed Skycubes
Sort
View
CVPR
2010
IEEE
16 years 3 months ago
Single Image Depth Estimation From Predicted Semantic Labels
We consider the problem of estimating the depth of each pixel in a scene from a single monocular image. Unlike traditional approaches [18, 19], which attempt to map from appearanc...
Beyang Liu, Stephen Gould, Daphne Koller
STACS
2010
Springer
16 years 1 months ago
Unsatisfiable Linear CNF Formulas Are Large and Complex
We call a CNF formula linear if any two clauses have at most one variable in common. We show that there exist unsatisfiable linear k-CNF formulas with at most 4k2 4k clauses, and ...
Dominik Scheder
SAC
2010
ACM
16 years 1 months ago
Estimating node similarity from co-citation in a spatial graph model
Co-citation (number of nodes linking to both of a given pair of nodes) is often used heuristically to judge similarity between nodes in a complex network. We investigate the relat...
Jeannette Janssen, Pawel Pralat, Rory Wilson
DCC
2009
IEEE
16 years 1 months ago
Joint Source-Channel Coding at the Application Layer
The multicasting of an independent and identically distributed Gaussian source over a binary erasure broadcast channel is considered. This model applies to a one-to-many transmiss...
Ozgun Y. Bursalioglu, Maria Fresia, Giuseppe Caire...
BIRTHDAY
2009
Springer
16 years 1 months ago
A Semantical Account of Progression in the Presence of Defaults
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
Gerhard Lakemeyer, Hector J. Levesque