3724 search results - page 583 / 745 » Timed regular expressions |
102
click to vote
KR
2010
Springer
15 years 3 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
96
Voted
FTRTFT
1998
Springer
15 years 2 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
107
Voted
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
111
Voted
OSDI
2008
ACM
15 years 18 days ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
102
Voted
AMR
2006
Springer
15 years 7 days ago
2006
Springer
Inaccurate or ambiguous expressions in queries lead to poor results in information retrieval. We assume that iterative user feedback can improve the quality of queries. To this end...