Sciweavers

4067 search results - page 373 / 814
» Programs for Applying Symmetries
Sort
View
COCOA
2010
Springer
15 years 4 months ago
Feasibility-Based Bounds Tightening via Fixed Points
Abstract. The search tree size of the spatial Branch-and-Bound algorithm for Mixed-Integer Nonlinear Programming depends on many factors, one of which is the width of the variable ...
Pietro Belotti, Sonia Cafieri, Jon Lee, Leo Libert...
SIGDIAL
2010
15 years 4 months ago
Cross-Domain Speech Disfluency Detection
We build a model for speech disfluency detection based on conditional random fields (CRFs) using the Switchboard corpus. This model is then applied to a new domain without any ada...
Kallirroi Georgila, Ning Wang, Jonathan Gratch
BIOSIG
2009
106views Biometrics» more  BIOSIG 2009»
15 years 4 months ago
Quantitative Standardization of Iris Image Formats
: This paper gives performance-based results for the application of a leading recognition algorithm applied to standardized iris imagery. The implementation was evaluated in NIST&#...
Patrick Grother
DLOG
2009
15 years 4 months ago
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
Irma Sofia Espinosa Peraldi, Atila Kaya, Ralf M&ou...
DSL
2009
15 years 4 months ago
A DSL for Explaining Probabilistic Reasoning
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
Martin Erwig, Eric Walkingshaw