1043 search results - page 129 / 209 » Using Function Generalization to Design a Cosequential Proce... |
134
Voted
JMIV
2006
15 years 2 months ago
2006
The uncertainty principle is a fundamental concept in the context of signal and image processing, just as much as it has been in the framework of physics and more recently in harmo...
141
Voted
IJCV
2007
15 years 2 months ago
2007
Challenging object detection and segmentation tasks can be facilitated by the availability of a reference object. However, accounting for possible transformations between the diff...
138
Voted
JPDC
2007
15 years 2 months ago
2007
Internet end-systems employ various adaptation mechanisms that enable them to respond adequately to legitimate requests in overload situations. Today, these mechanisms are incorpo...
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
The search for alias-free sampling lattices for a given frequency support, in particular those lattices achieving minimum sampling densities, is a fundamental issue in various app...
139
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...