Sciweavers

3359 search results - page 357 / 672
» A Simplified Idea Algorithm
Sort
View
ICIAP
2007
ACM
16 years 3 months ago
An information theoretic rule for sample size adaptation in particle filtering
To become robust, a tracking algorithm must be able to support uncertainty and ambiguity often inherently present in the data in form of occlusion and clutter. This comes usually ...
Oswald Lanz
ICFP
2005
ACM
16 years 3 months ago
Witnessing side-effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alexander Aiken
SOFSEM
2010
Springer
15 years 12 months ago
Accelerating Smart Play-Out
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
David Harel, Hillel Kugler, Shahar Maoz, Itai Sega...
CVPR
2010
IEEE
15 years 10 months ago
Towards Internet-scale Multi-view Stereo
This paper introduces an approach for enabling existing multi-view stereo methods to operate on extremely large unstructured photo collections. The main idea is to decompose the c...
Yasutaka Furukawa, Steve Seitz, Richard Szeliski
LATA
2010
Springer
15 years 9 months ago
Using Sums-of-Products for Non-standard Reasoning
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Rafael Peñaloza