Sciweavers

2275 search results - page 245 / 455
» Object Evolution by Model Evolution
Sort
View
ERCIM
2010
76views more  ERCIM 2010»
13 years 10 months ago
Digital Preservation of Interactive Multimedia Performances
Interactive multimedia performances are rapidly gaining ground within performing arts communities nowadays, mainly due to breakthroughs in humancomputer interaction technologies, ...
Kia Ng
ENTCS
2008
98views more  ENTCS 2008»
13 years 10 months ago
A Rewriting Calculus for Multigraphs with Ports
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
Oana Andrei, Hélène Kirchner
ENTCS
2002
77views more  ENTCS 2002»
13 years 10 months ago
The variety of variables in computer-aided real-time programming
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
Luke Wildman, Colin J. Fidge
JMLR
2012
12 years 25 days ago
Deep Boltzmann Machines as Feed-Forward Hierarchies
The deep Boltzmann machine is a powerful model that extracts the hierarchical structure of observed data. While inference is typically slow due to its undirected nature, we argue ...
Grégoire Montavon, Mikio L. Braun, Klaus-Ro...
IJCNN
2008
IEEE
14 years 4 months ago
Dynamic logic of phenomena and cognition
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
Boris Kovalerchuk, Leonid I. Perlovsky