Sciweavers

4870 search results - page 843 / 974
» Construction of Wavelets and Applications
Sort
View
CORR
2011
Springer
164views Education» more  CORR 2011»
14 years 8 months ago
Online Strategies for Intra and Inter Provider Service Migration in Virtual Networks
Network virtualization allows one to build dynamic distributed systems in which resources can be dynamically allocated at locations where they are most useful. In order to fully e...
Dushyant Arora, Marcin Bienkowski, Anja Feldmann, ...
TPHOL
1997
IEEE
15 years 8 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
CVPR
2006
IEEE
16 years 6 months ago
Image-Segmentation Evaluation From the Perspective of Salient Object Extraction
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...
Feng Ge, Song Wang, Tiecheng Liu
ECCV
2002
Springer
16 years 6 months ago
Transitions of the 3D Medial Axis under a One-Parameter Family of Deformations
The instabilities of the medial axis of a shape under deformations have long been recognized as a major obstacle to its use in recognition and other applications. These instabilit...
Peter J. Giblin, Benjamin B. Kimia
ICDE
2007
IEEE
138views Database» more  ICDE 2007»
16 years 5 months ago
Representing and Querying Correlated Tuples in Probabilistic Databases
Probabilistic databases have received considerable attention recently due to the need for storing uncertain data produced by many real world applications. The widespread use of pr...
Prithviraj Sen, Amol Deshpande