5866 search results - page 317 / 1174 » An e-Process Selection Model |
196
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
183
click to vote
ICML
1999
IEEE
16 years 7 months ago
1999
IEEE
We present a learning algorithm for non-parametric hidden Markov models with continuous state and observation spaces. All necessary probability densities are approximated using sa...
157
click to vote
BIRTHDAY
2007
Springer
16 years 25 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
153
click to vote
PKDD
2007
Springer
16 years 23 days ago
2007
Springer
In discretization of a continuous variable its numerical value range is divided into a few intervals that are used in classification. For example, Na¨ıve Bayes can benefit from...
163
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...