Sciweavers

1416 search results - page 90 / 284
» An Exact Interpretation of While
Sort
View
DICTA
2003
14 years 17 days ago
Embedded Voxel Colouring
Abstract. The reconstruction of a complex scene from multiple images is a fundamental problem in the field of computer vision. Volumetric methods have proven to be a strong altern...
Carlos Leung, Ben Appleton, Changming Sun
IJCAI
1989
14 years 10 days ago
Negative Reasoning Using Inheritance
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
Lin Padgham
AI
2010
Springer
13 years 11 months ago
Learning conditional preference networks
We investigate the problem of eliciting CP-nets in the well-known model of exact learning with equivalence and membership queries. The goal is to identify a preference ordering wi...
Frédéric Koriche, Bruno Zanuttini
CACM
2010
113views more  CACM 2010»
13 years 11 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
CORR
2008
Springer
81views Education» more  CORR 2008»
13 years 11 months ago
High-dimensional subset recovery in noise: Sparsified measurements without loss of statistical efficiency
We consider the problem of estimating the support of a vector Rp based on observations contaminated by noise. A significant body of work has studied behavior of 1-relaxations when...
Dapo Omidiran, Martin J. Wainwright