Sciweavers

1992 search results - page 60 / 399
» Memory modeling for system synthesis
Sort
View
ECCV
2006
Springer
16 years 1 months ago
Non Linear Temporal Textures Synthesis: A Monte Carlo Approach
In this paper we consider the problem of temporal texture modeling and synthesis. A temporal texture (or dynamic texture) is seen as the output of a dynamical system driven by whit...
Andrea Masiero, Alessandro Chiuso
ICPR
2002
IEEE
16 years 28 days ago
Face Detection and Synthesis Using Markov Random Field Models
Markov Random Fields (MRFs) are proposed as viable stochastic models for the spatial distribution of gray level intensities for images of human faces. These models are trained usi...
Sarat C. Dass, Anil K. Jain, Xiaoguang Lu
DAC
2006
ACM
15 years 5 months ago
Buffer memory optimization for video codec application modeled in Simulink
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Ami...
GECCO
2007
Springer
345views Optimization» more  GECCO 2007»
15 years 6 months ago
A novel approach to automatic music transcription using electronic synthesis and genetic algorithms
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and di...
Gustavo Reis, Francisco Fernández de Vega
CORR
2010
Springer
162views Education» more  CORR 2010»
14 years 10 months ago
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
Silvio Ghilardi, Silvio Ranise