Sciweavers

4488 search results - page 320 / 898
» Properties of NP-Complete Sets
Sort
View
TSD
2004
Springer
16 years 6 days ago
Looking at the Last Two Turns, I'd Say This Dialogue Is Doomed - Measuring Dialogue Success
Two sets of linguistic features are developed: The first one to estimate if a single step in a dialogue between a human being and a machine is successful or not. The second set to...
Stefan Steidl, Christian Hacker, Christine Ruff, A...
173
Voted
WABI
2004
Springer
16 years 6 days ago
Reconstructing Ancestral Gene Orders Using Conserved Intervals
Conserved intervals were recently introduced as a measure of similarity between genomes whose genes have been shuffled during evolution by genomic rearrangements. Phylogenetic reco...
Anne Bergeron, Mathieu Blanchette, Annie Chateau, ...
TPHOL
2003
IEEE
16 years 4 days ago
A Coverage Checking Algorithm for LF
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
Carsten Schürmann, Frank Pfenning
ISSRE
2002
IEEE
15 years 11 months ago
A Flexible Generator Architecture for Improving Software Dependability
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
Christof Fetzer, Zhen Xiao
160
Voted
ICANN
2001
Springer
15 years 11 months ago
Sparse Kernel Regressors
Sparse kernel regressors have become popular by applying the support vector method to regression problems. Although this approach has been shown to exhibit excellent generalization...
Volker Roth