1302 search results - page 55 / 261 » From Liveness to Promptness |
113
Voted
COLING
2010
14 years 7 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...
93
Voted
CORR
2011
Springer
14 years 7 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...
195
Voted
ICDE
2001
IEEE
16 years 1 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...
147
click to vote
ICOST
2011
Springer
14 years 4 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...
92
Voted
ACMACE
2008
ACM
15 years 2 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 ...