6020 search results - page 873 / 1204 » A New Approach to Model Counting |
199
click to vote
ROOM
2000
15 years 8 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
163
click to vote
UAI
1997
15 years 8 months ago
1997
Much recent research in decision theoretic planning has adopted Markov decision processes (MDPs) as the model of choice, and has attempted to make their solution more tractable by...
198
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper develops a new class of algorithms for signal recovery in the distributed compressive sensing (DCS) framework. DCS exploits both intra-signal and inter-signal correlati...
197
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Compressive sensing (CS) is an emerging approach for acquisition of signals having a sparse or compressible representation in some basis. While CS literature has mostly focused on...
227
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper introduces a new framework for image classification using local visual descriptors. The pipeline first performs a nonlinear feature transformation on descripto...