5900 search results - page 163 / 1180 » Dependable Systems |
154
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
136
Voted
FLAIRS
2007
15 years 7 months ago
2007
In this paper we shall introduce an approach that forms a basis for temporal data mining. A relation algebra is applied for the purpose of representing simultaneously dependencies...
136
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
In this paper, we investigate the use of the coupled hidden Markov models (CHMM) for the task of audio-visual text dependent speaker identification. Our system determines the iden...
151
click to vote
JNW
2006
15 years 5 months ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...
127
Voted
ECCC
2000
15 years 4 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in all common artificialneuralnetwork models. Biological synapses are dynamic, ...