5154 search results - page 330 / 1031 » Computing and using residuals in time series models |
249
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
256
click to vote
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
207
click to vote
LICS
2003
IEEE
16 years 27 days ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
222
click to vote
PERCOM
2010
ACM
15 years 6 months ago
2010
ACM
Abstract—This paper looks at the scalability problems inherent in the Active Bat system: an outside-in ultrasonic location system. Such systems are typically associated with high...
219
click to vote
ACTA
2007
15 years 7 months ago
2007
Abstract We propose an exact algorithm for counting the models of propositional formulas in conjunctive normal form (CNF). Our algorithm is based on the detection of strong backdoo...