Sciweavers

4107 search results - page 299 / 822
» The Generalized Lambda Test
Sort
View
LICS
2010
IEEE
15 years 5 months ago
The Emptiness Problem for Tree Automata with Global Constraints
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
Luis Barguñó, Carles Creus, Guillem ...
ACL
2010
15 years 4 months ago
Automatic Evaluation of Linguistic Quality in Multi-Document Summarization
To date, few attempts have been made to develop and validate methods for automatic evaluation of linguistic quality in text summarization. We present the first systematic assessme...
Emily Pitler, Annie Louis, Ani Nenkova
EMNLP
2010
15 years 4 months ago
Two Decades of Unsupervised POS Induction: How Far Have We Come?
Part-of-speech (POS) induction is one of the most popular tasks in research on unsupervised NLP. Many different methods have been proposed, yet comparisons are difficult to make s...
Christos Christodoulopoulos, Sharon Goldwater, Mar...
EMSOFT
2010
Springer
15 years 4 months ago
Load-based schedulability analysis of certifiable mixed-criticality systems
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
Haohan Li, Sanjoy K. Baruah
OOPSLA
2010
Springer
15 years 4 months ago
Towards a tool-based development methodology for sense/compute/control applications
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
Damien Cassou, Julien Bruneau, Julien Mercadal, Qu...