Sciweavers

5693 search results - page 711 / 1139
» Socially relevant computing
Sort
View
CVIU
2008
209views more  CVIU 2008»
15 years 6 months ago
Combining visual dictionary, kernel-based similarity and learning strategy for image category retrieval
This paper presents a search engine architecture, RETIN, aiming at retrieving complex categories in large image databases. For indexing, a scheme based on a two-step quantization ...
Philippe Henri Gosselin, Matthieu Cord, Sylvie Phi...
PAA
2008
15 years 6 months ago
Motion synthesis through 1D affine matching
We present the study of a data-driven motion synthesis approach based on a 1D affine imagematching equation. We start by deriving the relevant properties of the exact matching oper...
Perfilino Eugênio Ferreira Jr., José ...
AAAI
2010
15 years 5 months ago
Simultaneous Elicitation of Preference Features and Utility
Most frameworks for utility elicitation assume a predefined set of features over which user preferences are expressed. We consider utility elicitation in the presence of subjecti...
Craig Boutilier, Kevin Regan, Paolo Viappiani
ATMOS
2010
163views Optimization» more  ATMOS 2010»
15 years 5 months ago
Railway Track Allocation by Rapid Branching
The track allocation problem, also known as train routing problem or train timetabling problem, is to find a conflict-free set of train routes of maximum value in a railway netw...
Ralf Borndörfer, Thomas Schlechte, Steffen We...
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
15 years 5 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veri...
Filip Maric, Predrag Janicic