5718 search results - page 334 / 1144 » Modeling Rule Precision |
175
click to vote
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
171
click to vote
HPDC
2003
IEEE
16 years 12 hour ago
2003
IEEE
As Data and Computational Grids grow in size and complexity, the crucial task of identifying, monitoring and utilizing available resources in an efficient manner is becoming incr...
159
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
147
click to vote
ACL
1993
15 years 8 months ago
1993
Interpreting fully natural speech is an important goal for spoken language understanding systems. However, while corpus studies have shown that about 10% of spontaneous utterances...
161
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
On the classical discrete grid, the analysis of digital straight lines (DSL for short) has been intensively studied for nearly half a century. In this article, we are interested i...