11063 search results - page 338 / 2213 » On the existence of universal models |
164
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In this paper, we address the complex problem of rapid modeling
of large-scale areas and present a novel approach for the automatic
reconstruction of cities from remote sensor da...
156
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
183
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
The emerging theory of compressed sensing (CS) provides a universal signal detection approach for sparse signals at sub-Nyquist sampling rates. A small number of random projection...
177
click to vote
ATVA
2005
Springer
16 years 10 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
193
click to vote
ICCSA
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we describe resource and service discovery mechanisms available in iGrid, a novel Grid Information Service based on the relational model. iGrid is developed within th...