Sciweavers

1249 search results - page 84 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
ICML
2007
IEEE
16 years 20 days 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»
15 years 18 hour 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
15 years 1 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
15 years 5 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»
14 years 12 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...