Sciweavers

4163 search results - page 310 / 833
» A comprehensive combination framework
Sort
View
ECCV
2004
Springer
16 years 8 months ago
Interpolating Novel Views from Image Sequences by Probabilistic Depth Carving
Abstract. We describe a novel approach to view interpolation from image sequences based on probabilistic depth carving. This builds a multivalued representation of depth for novel ...
Annie Yao, Andrew Calway
ICPR
2008
IEEE
16 years 7 months ago
Feature Fusion Hierarchies for gender classification
We present a hierarchical feature fusion model for image classification that is constructed by an evolutionary learning algorithm. The model has the ability to combine local patch...
Fabien Scalzo, George Bebis, Mircea Nicolescu, Lea...
FROCOS
2007
Springer
16 years 25 days ago
Proving Termination Using Recursive Path Orders and SAT Solving
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
Peter Schneider-Kamp, René Thiemann, Elena ...
ICALP
2007
Springer
16 years 24 days ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 11 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh