Sciweavers

6434 search results - page 85 / 1287
» Model Transformations with Reference Models
Sort
View
ICASSP
2008
IEEE
14 years 4 months ago
Gradient steepness metrics using extended Baum-Welch transformations for universal pattern recognition tasks
In many pattern recognition tasks, given some input data and a family of models, the “best” model is defined as the one which maximizes the likelihood of the data given the m...
Tara N. Sainath, Dimitri Kanevsky, Bhuvana Ramabha...
CVPR
2004
IEEE
15 years 1 days ago
Effect of Colorspace Transformation, the Illuminance Component, and Color Modeling on Skin Detection
Skin detection is an important preliminary process in human motion analysis. It is commonly performed in three steps: transforming the pixel color to a non-RGB colorspace, droppin...
Sriram Jayaram, Stephen Schmugge, Min C. Shin, Leo...
CC
2010
Springer
172views System Software» more  CC 2010»
14 years 4 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
CAISE
2008
Springer
14 years 1 days ago
Model Transformations powered by Rewriting Logic
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...
Francisco J. Lucas, José Ambrosio Toval &Aa...
ISSS
2000
IEEE
94views Hardware» more  ISSS 2000»
14 years 2 months ago
A Transformational Approach to Constraint Relaxation of a Time-driven Simulation Model
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
Marek Jersak, Ying Cai, Dirk Ziegenbein, Rolf Erns...