Sciweavers

2949 search results - page 354 / 590
» Universal Sparse Modeling
Sort
View
MM
1997
ACM
133views Multimedia» more  MM 1997»
15 years 4 months ago
Supporting Similarity Queries in MARS
To address the emerging needs of applications that require access to and retrieval of multimediaobjects, we are developing the Multimedia Analysis and Retrieval System (MARS) in o...
Michael Ortega, Yong Rui, Kaushik Chakrabarti, Sha...
STOC
1997
ACM
111views Algorithms» more  STOC 1997»
15 years 4 months ago
The Swendsen-Wang Process Does Not Always Mix Rapidly
The Swendsen-Wang process provides one possible dynamics for the Qstate Potts model in statistical physics. Computer simulations of this process are widely used to estimate the ex...
Vivek Gore, Mark Jerrum
111
Voted
COST
2009
Springer
205views Multimedia» more  COST 2009»
15 years 4 months ago
Ergodic HMM-UBM System for On-Line Signature Verification
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
Enrique Argones-Rúa, David Pérez-Pi&...
113
Voted
SAT
2010
Springer
136views Hardware» more  SAT 2010»
15 years 4 months ago
A Non-prenex, Non-clausal QBF Solver with Game-State Learning
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
William Klieber, Samir Sapra, Sicun Gao, Edmund M....
107
Voted
ESOP
2009
Springer
15 years 4 months ago
Handlers of Algebraic Effects
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
Gordon D. Plotkin, Matija Pretnar