Sciweavers

3145 search results - page 150 / 629
» Algebraic Linear Orderings
Sort
View
NAACL
2007
15 years 5 months ago
Randomized Decoding for Selection-and-Ordering Problems
The task of selecting and ordering information appears in multiple contexts in text generation and summarization. For instance, methods for title generation construct a headline b...
Pawan Deshpande, Regina Barzilay, David R. Karger
SCL
2010
97views more  SCL 2010»
15 years 2 months ago
Krylov subspace methods for model order reduction of bilinear control systems
We discuss the use of Krylov subspace methods with regard to the problem of model order reduction. The focus lies on bilinear control systems, a special class of nonlinear systems...
Tobias Breiten, Tobias Damm
ECCV
2006
Springer
16 years 6 months ago
Geometry and Kinematics with Uncertain Data
Abstract. In Computer Vision applications, one usually has to work with uncertain data. It is therefore important to be able to deal with uncertain geometry and uncertain transform...
Christian Perwass, Christian Gebken, Gerald Sommer
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 6 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
JSYML
2007
85views more  JSYML 2007»
15 years 4 months ago
Substructural fuzzy logics
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
George Metcalfe, Franco Montagna