Sciweavers

5624 search results - page 573 / 1125
» On Conditional Covering Problem
Sort
View
AIED
2005
Springer
16 years 19 days ago
Taking Control of Redundancy in Scripted Tutorial Dialogue
We describe extensions to a finite-state dialogue manager and its author scripting language that enable control over content repetition during tutorial dialogue. The problem of co...
Pamela W. Jordan, Patricia L. Albacete, Kurt VanLe...
COCO
2005
Springer
106views Algorithms» more  COCO 2005»
16 years 19 days ago
The Complexity of the Inertia and Some Closure Properties of GapL
The inertia of an n × n matrix A is defined as the triple (i+(A), i−(A), i0(A)), where i+(A), i−(A), and i0(A) are the number of eigenvalues of A, counting multiplicities, w...
Thanh Minh Hoang, Thomas Thierauf
COLT
2005
Springer
16 years 19 days ago
Learning Convex Combinations of Continuously Parameterized Basic Kernels
We study the problem of learning a kernel which minimizes a regularization error functional such as that used in regularization networks or support vector machines. We consider thi...
Andreas Argyriou, Charles A. Micchelli, Massimilia...
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
16 years 18 days ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
IJCNLP
2005
Springer
16 years 18 days ago
Two-Phase Biomedical Named Entity Recognition Using A Hybrid Method
Biomedical named entity recognition (NER) is a difficult problem in biomedical information processing due to the widespread ambiguity of terms out of context and extensive lexical ...
Seonho Kim, Juntae Yoon, Kyung-Mi Park, Hae-Chang ...