Sciweavers

1338 search results - page 230 / 268
» Consistent Code Generation from UML Models
Sort
View
ECAI
2008
Springer
15 years 6 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan
IJON
2006
87views more  IJON 2006»
15 years 4 months ago
Collective plasticity and individual stability in cultured neuronal networks
Cultured neuronal networks generate spontaneous activity in the form of synchronized bursting events (SBEs)--short time events during which most of the recorded neurons fire rapid...
Nadav Raichman, Vladislav Volman, Eshel Ben-Jacob
CAD
2004
Springer
15 years 4 months ago
A multi-resolution topological representation for non-manifold meshes
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...
Leila De Floriani, Paola Magillo, Enrico Puppo, Da...
ACL
2011
14 years 8 months ago
Domain Adaptation by Constraining Inter-Domain Variability of Latent Feature Representation
We consider a semi-supervised setting for domain adaptation where only unlabeled data is available for the target domain. One way to tackle this problem is to train a generative m...
Ivan Titov
PAMI
2011
14 years 11 months ago
Greedy Learning of Binary Latent Trees
—Inferring latent structures from observations helps to model and possibly also understand underlying data generating processes. A rich class of latent structures are the latent ...
Stefan Harmeling, Christopher K. I. Williams