Sciweavers

5525 search results - page 507 / 1105
» Verification of Model Transformations
Sort
View
ICASSP
2011
IEEE
14 years 11 months ago
Objective evaluation of the Dynamic Model Selection method for spectral voice conversion
Spectral voice conversion is usually performed using a single model selected in order to represent a tradeoff between goodness of fit and complexity. Recently, we proposed a new ...
Pierre Lanchantin, Xavier Rodet
AVSS
2008
IEEE
16 years 1 months ago
A Fast Linear Registration Framework for Multi-camera GIS Coordination
We propose a novel registration framework to map the field-of-coverage of pan-tilt cameras to a GIS (Geographic Information System) planar coordinate system. The camera’s fiel...
Karthik Sankaranarayanan, James W. Davis
IWPC
1997
IEEE
15 years 11 months ago
Using Knowledge Representation to Understand Interactive Systems
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
Melody M. Moore, Spencer Rugaber
COMPSAC
2008
IEEE
15 years 7 months ago
Automated Code Generation for Industrial-Strength Systems
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
Thomas Weigert, Frank Weil, Aswin van den Berg, Pa...
SIGMOD
2008
ACM
193views Database» more  SIGMOD 2008»
16 years 7 months ago
ARCube: supporting ranking aggregate queries in partially materialized data cubes
Supporting ranking queries in database systems has been a popular research topic recently. However, there is a lack of study on supporting ranking queries in data warehouses where...
Tianyi Wu, Dong Xin, Jiawei Han