Sciweavers

1446 search results - page 149 / 290
» Testing for Concise Representations
Sort
View
EGOV
2010
Springer
13 years 11 months ago
From Policy-Making Statements to First-Order Logic
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...
Adam Wyner, Tom M. van Engers, Kiavash Bahreini
ICASSP
2010
IEEE
13 years 10 months ago
The effect of lattice pruning on MMIE training
In discriminative training, such as Maximum Mutual Information Estimation (MMIE) training, a word lattice is usually used as a compact representation of many different sentence hy...
Long Qin, Alexander I. Rudnicky
CG
2010
Springer
13 years 10 months ago
A visual analytics approach to diagnosis of breast DCE-MRI data
Dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) of the breast has become an important image modality for early breast cancer detection. In comparison to conventiona...
Sylvia Glaßer, Uta Preim, Klaus D. Tönn...
CORR
2008
Springer
113views Education» more  CORR 2008»
13 years 10 months ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau
EOR
2007
77views more  EOR 2007»
13 years 10 months ago
Solving the short-term electrical generation scheduling problem by an adaptive evolutionary approach
In this paper, we introduce an adaptive evolutionary approach to solve the short-term electrical generation scheduling problem (STEGS). The STEGS is a hard constraint satisfaction...
Jorge Maturana, María-Cristina Riff