Sciweavers

896 search results - page 80 / 180
» On completeness of word reversing
Sort
View
79
Voted
SIAMMAX
2010
111views more  SIAMMAX 2010»
14 years 7 months ago
Stochastic Galerkin Matrices
We investigate the structural, spectral, and sparsity properties of Stochastic Galerkin matrices as they arise in the discretization of linear differential equations with random co...
Oliver G. Ernst, Elisabeth Ullmann
119
Voted
ACL
2012
13 years 3 months ago
Coarse Lexical Semantic Annotation with Supersenses: An Arabic Case Study
“Lightweight” semantic annotation of text calls for a simple representation, ideally without requiring a semantic lexicon to achieve good coverage in the language and domain. ...
Nathan Schneider, Behrang Mohit, Kemal Oflazer, No...
ENTCS
2007
141views more  ENTCS 2007»
15 years 23 days ago
Compressing BMC Encodings with QBF
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
Toni Jussila, Armin Biere
92
Voted
TSD
2010
Springer
14 years 10 months ago
Automatic Detection and Evaluation of Edentulous Speakers with Insufficient Dentures
Abstract. Dental rehabilitation by complete dentures is a state-of-the-art approach to improve functional aspects of the oral cavity of edentulous patients. It is important to assu...
Tobias Bocklet, Florian Hönig, Tino Haderlein...
83
Voted
IDEAL
2009
Springer
14 years 10 months ago
Optimizing Data Transformations for Classification Tasks
Many classification algorithms use the concept of distance or similarity between patterns. Previous work has shown that it is advantageous to optimize general Euclidean distances (...
José María Valls, Ricardo Aler