4502 search results - page 342 / 901 » Regular Model Checking |
198
click to vote
ML
2000
ACM
15 years 6 months ago
2000
ACM
We consider the problem of one-step ahead prediction for time series generated by an underlying stationary stochastic process obeying the condition of absolute regularity, describi...
158
click to vote
BC
1999
15 years 6 months ago
1999
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...
179
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper surveys recent work in applying ideas from graphical models and message passing algorithms to solve large scale regularized regression problems. In particular, the focu...
173
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
182
Voted
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...