Sciweavers

225 search results - page 28 / 45
» A case based approach to expressivity-aware tempo transforma...
Sort
View
FASE
2008
Springer
14 years 11 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...
RTA
2010
Springer
15 years 1 months ago
Proving Productivity in Infinite Data Structures
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
Hans Zantema, Matthias Raffelsieper
IAJIT
2008
118views more  IAJIT 2008»
14 years 9 months ago
Integration of the Association Ends within UML State Diagrams
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
Thouraya Bouabana-Tebibel, Mounira Belmesk
94
Voted
IJCV
2010
206views more  IJCV 2010»
14 years 8 months ago
From Local Kernel to Nonlocal Multiple-Model Image Denoising
Abstract We review the evolution of the nonparametric regression modeling in imaging from the local Nadaraya-Watson kernel estimate to the nonlocal means and further to transform-d...
Vladimir Katkovnik, Alessandro Foi, Karen Egiazari...
PLDI
2012
ACM
13 years 3 days ago
Test-case reduction for C compiler bugs
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Ch...