NJC
2006
13 years 7 months ago
2006
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
IANDC
2007
13 years 7 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
PAMI
2008
13 years 7 months ago
2008
Variational Bayesian Expectation-Maximization (VBEM), an approximate inference method for probabilistic models based on factorizing over latent variables and model parameters, has ...
PAMI
2008
13 years 7 months ago
2008
Mixture of Gaussians (MoG) model is a useful tool in statistical learning. In many learning processes that are based on mixture models, computational requirements are very demandin...
PAMI
2008
13 years 7 months ago
2008
This paper presents a new deformable modeling strategy aimed at integrating shape and appearance in a unified space. If we think traditional deformable models as "active cont...
NN
2008
Springer
13 years 7 months ago
2008
Springer
Optimally designing the location of training input points (active learning) and choosing the best model (model selection) are two important components of supervised learning and h...
FAC
2007
13 years 7 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
NECO
2008
13 years 7 months ago
2008
We analyze a neural network model of the Eriksen task, a twoalternative forced choice task in which subjects must correctly identify a central stimulus and disregard flankers that...
NCA
2008
IEEE
13 years 7 months ago
2008
IEEE
A common statistical model for paired comparisons is the Bradley-Terry model. This research re-parameterizes the Bradley-Terry model as a single-layer artificial neural network (A...
LMCS
2006
13 years 7 months ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...