Sciweavers

3993 search results - page 384 / 799
» Matchmaking for Structured Objects
Sort
View
166
Voted
CIE
2007
Springer
16 years 29 days 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
16 years 27 days 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...
WEA
2007
Springer
87views Algorithms» more  WEA 2007»
16 years 27 days 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»
16 years 25 days 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
16 years 25 days 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...