1788 search results - page 135 / 358 » Model Theory for Process Algebra |
138
Voted
DEDS
2000
15 years 20 days ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
190
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
139
Voted
SCP
2000
15 years 18 days ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
123
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
114
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...