Sciweavers

1249 search results - page 84 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
ICML
2007
IEEE
14 years 10 months ago
Multifactor Gaussian process models for style-content separation
We introduce models for density estimation with multiple, hidden, continuous factors. In particular, we propose a generalization of multilinear models using nonlinear basis functi...
Jack M. Wang, David J. Fleet, Aaron Hertzmann
BIBE
2008
IEEE
150views Bioinformatics» more  BIBE 2008»
13 years 9 months ago
Automatic DNA microarray gridding based on Support Vector Machines
This paper presents a novel method for DNA microarray gridding based on Support Vector Machine (SVM) classifiers. It employs a set of soft-margin SVMs to estimate the lines of the ...
Dimitris G. Bariamis, Dimitris Maroulis, Dimitrios...
SIMVIS
2004
13 years 10 months ago
A Formal Model of a Framework for Simulation-Based Animation
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
Wolfgang Müller 0003, Volker Paelke
ICARIS
2005
Springer
14 years 2 months ago
Immunising Automated Teller Machines
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
Modupe Ayara, Jon Timmis, Rogério de Lemos,...
ENTCS
2006
119views more  ENTCS 2006»
13 years 9 months ago
Trace Machines for Observing Continuous-Time Markov Chains
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
Verena Wolf, Christel Baier, Mila E. Majster-Ceder...