Sciweavers

953 search results - page 65 / 191
» Constraint Based Transformation Theory
Sort
View
PPDP
2007
Springer
15 years 3 months ago
Unfolding in CHR
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara...
ISBI
2004
IEEE
15 years 10 months ago
Model Based Symmetric Information Theoretic Large Deformation Multi-Modal Image Registration
This paper presents a Bayesian framework for generating inverse-consistent inter-subject large deformation transformations between two multi-modal image sets of the brain. In this...
Peter Lorenzen, Brad Davis, Sarang C. Joshi
BIS
2009
168views Business» more  BIS 2009»
14 years 11 months ago
Defining Adaptation Constraints for Business Process Variants
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori,...
DAC
1999
ACM
15 years 2 months ago
Behavioral Synthesis of Analog Systems Using Two-layered Design Space Exploration
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
Alex Doboli, Adrián Núñez-Ald...
GLOBECOM
2009
IEEE
14 years 7 months ago
On the Rate Duality of MIMO Interference Channel and Its Application to Sum Rate Maximization
In this paper, we establish a rate duality between the forward and reverse links of MIMO interference channel, where the reverse links are obtained by exchanging the roles of trans...
An Liu, Youjian Liu, Haige Xiang, Wu Luo