4520 search results - page 666 / 904 » Algebraic Techniques for Timed Systems |
141
click to vote
ACL
1996
15 years 8 months ago
1996
This paper describes a prototype disambiguation module, KANKEI, which was tested on two corpora of the TRAINS project. In ambiguous verb phrases of form V ... NP PP or V ... NP ad...
161
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
179
click to vote
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
Application scheduling plays an important role in high-performance cluster computing. Application scheduling can be classified as job scheduling and task scheduling. This paper pre...
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
183
click to vote
PE
2008
Springer
15 years 6 months ago
2008
Springer
We have proposed a three-parameter renewal approximation to analyze splitting and superposition of autocorrelated processes. We define the index of dispersion for counts of an ord...