1302 search results - page 55 / 261 » From Liveness to Promptness |
COLING
2010
13 years 3 months ago
2010
Treebank annotation is a labor-intensive and time-consuming task. In this paper, we show that a simple statistical ranking model can significantly improve treebanking efficiency b...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
ICDE
2001
IEEE
14 years 9 months ago
2001
IEEE
Many scientific disciplines are shifting from in vitro to in silico research as more physical processes and natural phenomena are examined in a computer (in silico) instead of bei...
ICOST
2011
Springer
12 years 11 months ago
2011
Springer
The increasing aging population has inspired many machine learning researchers to find innovative solutions for assisted living. A problem often encountered in assisted living set...
ACMACE
2008
ACM
13 years 10 months ago
2008
ACM
This work challenges the conventional art experience. It brings together the fields of art, science, and software integration. The goal was to create a new kind of painting based ...