Sciweavers

3993 search results - page 384 / 799
» Matchmaking for Structured Objects
Sort
View
CIE
2007
Springer
15 years 11 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
SCALESPACE
2007
Springer
15 years 11 months ago
A Geometric-Functional-Based Image Segmentation and Inpainting
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
Vladimir Kluzner, Gershon Wolansky, Yehoshua Y. Ze...
126
Voted
WEA
2007
Springer
87views Algorithms» more  WEA 2007»
15 years 11 months ago
Algorithms for Longer OLED Lifetime
Abstract. We consider an optimization problem arising in the design of controllers for OLED displays. Our objective is to minimize the amplitude of the electrical current flowing ...
Friedrich Eisenbrand, Andreas Karrenbauer, Chihao ...
GMP
2006
IEEE
118views Solid Modeling» more  GMP 2006»
15 years 11 months ago
Computing a Family of Skeletons of Volumetric Models for Shape Description
Skeletons are important shape descriptors in object representation and recognition. Typically, skeletons of volumetric models are computed using iterative thinning. However, tradi...
Tao Ju, Matthew L. Baker, Wah Chiu
ICDCS
2006
IEEE
15 years 11 months ago
A Hierarchical Optimization Framework for Autonomic Performance Management of Distributed Computing Systems
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...
Nagarajan Kandasamy, Sherif Abdelwahed, Mohit Khan...