Sciweavers

1366 search results - page 46 / 274
» Modularizing Contexted Constraints
Sort
View
ENTCS
2006
183views more  ENTCS 2006»
15 years 6 months ago
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
László Lengyel, Tihamer Levendovszky...
CVPR
2010
IEEE
16 years 2 months ago
Context-Constrained Hallucination for Image Super-Resolution
This paper proposes a context-constrained hallucination approach for image super-resolution. Through building a training set of high-resolution/low-resolution image segment pairs,...
Jian Sun, Jiejie Zhu, Marshall Tappen
ICMCS
2006
IEEE
176views Multimedia» more  ICMCS 2006»
16 years 6 days ago
Provisioning Context-Aware Advertisements to Wireless Mobile Users
Mobile advertising, which is an area of mobile commerce, is a form of advertising that targets users of handheld wireless devices such as mobile phones and personal digital assist...
Qusay M. Mahmoud
FSTTCS
2004
Springer
15 years 11 months ago
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
Ahmed Bouajjani, Antoine Meyer
SPLC
2008
15 years 7 months ago
Filtered Cartesian Flattening: An Approximation Technique for Optimally Selecting Features while Adhering to Resource Constraint
Software Product-lines (SPLs) use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method...
Jules White, B. Doughtery, Douglas C. Schmidt