932 search results - page 117 / 187 » Verifying Progress in Timed Systems |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
CCE
2007
13 years 10 months ago
2007
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...
JC
2000
13 years 10 months ago
2000
This paper provides verification procedures for a number of decision problems in quadratic function fields of odd characteristic, thereby establishing membership of these problems...
PIMRC
2010
IEEE
13 years 8 months ago
2010
IEEE
The first stage of the signal processing chain in a Global Positioning System (GPS) receiver is the acquisition, which provides for a desired satellite coarse code phase and Dopple...
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
We describe a computational system which parses discourses consisting of sequences of simple sentences. These contain a range of temporal constructions, including time adverbials,...