Sciweavers

1219 search results - page 119 / 244
» Adaptive Natural Language Interaction
Sort
View
EMNLP
2009
15 years 2 months ago
Semi-supervised Speech Act Recognition in Emails and Forums
In this paper, we present a semi-supervised method for automatic speech act recognition in email and forums. The major challenge of this task is due to lack of labeled data in the...
Minwoo Jeong, Chin-Yew Lin, Gary Geunbae Lee
IS
2011
14 years 11 months ago
Fully dynamic metric access methods based on hyperplane partitioning
Metric access methods based on hyperplane partitioning have the advantage, compared to the ballpartitioning-based ones, that regions do not overlap. The price is less flexibility...
Gonzalo Navarro, Roberto Uribe Paredes
EMNLP
2011
14 years 4 months ago
Training dependency parsers by jointly optimizing multiple objectives
We present an online learning algorithm for training parsers which allows for the inclusion of multiple objective functions. The primary example is the extension of a standard sup...
Keith Hall, Ryan T. McDonald, Jason Katz-Brown, Mi...
ICFP
2008
ACM
16 years 4 months ago
Pattern minimization problems over recursive data types
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
Alexander Krauss
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke