Sciweavers

3914 search results - page 463 / 783
» Automating SLA modeling
Sort
View
ICIP
2008
IEEE
16 years 1 months ago
Total variation super resolution using a variational approach
In this paper we propose a novel algorithm for super resolution based on total variation prior and variational distribution approximations. We formulate the problem using a hierar...
S. Derin Babacan, Rafael Molina, Aggelos K. Katsag...
IPPS
2008
IEEE
16 years 1 months ago
A wireless sensor network based closed-loop system for subsurface contaminant plume monitoring
A closed-loop contaminant plume monitoring system is being developed that integrates wireless sensor network based monitoring with numerical models for subsurface plumes. The syst...
Qi Han, Anura P. Jayasumana, Tissa H. Illangasekar...
ISMAR
2007
IEEE
16 years 1 months ago
Retexturing in the Presence of Complex Illumination and Occlusions
We present a non-rigid registration technique that achieves spatial, photometric, and visibility accuracy. It lets us photo-realistically augment 3D deformable surfaces under comp...
Julien Pilet, Vincent Lepetit, Pascal Fua
LICS
2007
IEEE
16 years 1 months ago
Pi-Calculus in Logical Form
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
Marcello M. Bonsangue, Alexander Kurz
BTW
2007
Springer
119views Database» more  BTW 2007»
16 years 27 days ago
Change Management in Large Information Infrastructures - Representing and Analyzing Arbitrary Metadata
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...
Boris Stumm, Stefan Dessloch