1991 search results - page 132 / 399 » Small Models of Large Machines |
148
click to vote
VRML
2000
ACM
15 years 9 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
145
click to vote
JDCTA
2010
15 years 5 days ago
2010
This study develops a least squares support vector machines (LS-SVM) based model for bivariate process to diagnose abnormal patterns of process mean vector, and to help identify a...
141
click to vote
TCC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We construct an intrusion-resilient symmetric-key authenticated key exchange (AKE) protocol in the bounded retrieval model. The model employs a long shared private key to...
161
click to vote
UAI
2004
15 years 6 months ago
2004
Bayesian learning in undirected graphical models--computing posterior distributions over parameters and predictive quantities-is exceptionally difficult. We conjecture that for ge...
144
click to vote
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...