Sciweavers

1465 search results - page 195 / 293
» Making the Correct Mistakes
Sort
View
FTCS
1998
114views more  FTCS 1998»
15 years 7 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
ISMB
1998
15 years 7 months ago
Prediction of Signal Peptides and Signal Anchors by a Hidden Markov Model
A hidden Markov model of signal peptides has been developed. It contains submodels for the N-terminal part, the hydrophobic region, and the region around the cleavage site. For kn...
Henrik Nielsen, Anders Krogh
FTCS
1997
57views more  FTCS 1997»
15 years 7 months ago
Predicting Physical Processes in the Presence of Faulty Sensor Readings
A common problem in the operation of mission critical control systems is that of determining the future value of a physical quantity based upon past measurements of it or of relat...
Matthew Clegg, Keith Marzullo
COLING
1996
15 years 7 months ago
Analysis of Japanese Compound Nouns by Direct Text Scanning
This paper aims to analyze word dependency structure in compound nouns appearing in Japanese newspaper articles. The analysis is a dil't:icult problem because such compound n...
Toru Hisamitsu, Yoshihiko Nitta
UAI
1994
15 years 7 months ago
A Decision-based View of Causality
Most traditional models of uncertainty have focused on the associational relationship among variables as captured by conditional dependence. In order to successfully manage intell...
David Heckerman, Ross D. Shachter