932 search results - page 117 / 187 » Verifying Progress in Timed Systems |
117
Voted
CORR
2007
Springer
15 years 2 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...
118
Voted
CCE
2007
15 years 2 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...
125
Voted
JC
2000
15 years 2 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...
118
Voted
PIMRC
2010
IEEE
15 years 19 days 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...
106
Voted
EACL
1993
ACL Anthology
15 years 4 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,...