Sciweavers

4428 search results - page 343 / 886
» The Chow Parameters Problem
Sort
View
JAIR
2011
166views more  JAIR 2011»
15 years 1 months ago
Decidability and Undecidability Results for Propositional Schemata
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions (e.g., pi) and iterated connectives ∨ or ∧ ranging over i...
Vincent Aravantinos, Ricardo Caferra, Nicolas Pelt...
SIAMAM
2011
15 years 1 months ago
On the Kleinman-Martin Integral Equation Method for Electromagnetic Scattering by a Dielectric Body
The interface problem describing the scattering of time-harmonic electromagnetic waves by a dielectric body is often formulated as a pair of coupled boundary integral equations fo...
Martin Costabel, Frédérique Le Lou&e...
TEC
2010
120views more  TEC 2010»
15 years 1 months ago
Benefits of a Population: Five Mechanisms That Advantage Population-Based Algorithms
This paper identifies five distinct mechanisms by which a population-based algorithm might have an advantage over a solo-search algorithm in classical optimization. These mechanism...
Adam Prügel-Bennett
ICCV
2009
IEEE
16 years 11 months ago
Recovering the Spatial Layout of Cluttered Rooms
In this paper, we consider the problem of recovering the spatial layout of indoor scenes from monocular images. The presence of clutter is a major problem for existing singleview...
Varsha Hedau, Derek Hoiem, David Forsyth
CVPR
2008
IEEE
16 years 8 months ago
A Bayesian approach for image segmentation with shape priors
Color and texture have been widely used in image segmentation; however, their performance is often hindered by scene ambiguities, overlapping objects, or missing parts. In this pa...
Hang Chang, Qing Yang, Bahram Parvin