7827 search results - page 140 / 1566 » time 2007 |
142
click to vote
WCE
2007
15 years 7 months ago
2007
—In this paper, a fuzzy estimator based on the Smith predictor for a time-delayed system is proposed. The purpose of this work is to predict the unknown plant time-delay by using...
161
click to vote
CBMS
2007
IEEE
15 years 6 months ago
2007
IEEE
A novel three-stage method for the analysis of electroencephalographic (EEG) signals, concerning epileptic seizures, is proposed. First, segments of the EEG signals are analyzed u...
185
click to vote
ISI
2008
Springer
15 years 5 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
153
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
165
click to vote
ENTCS
2007
15 years 5 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...