Sciweavers

14774 search results - page 283 / 2955
» Computational complexity and evolutionary computation
Sort
View
CIE
2007
Springer
16 years 23 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
GMP
2006
IEEE
118views Solid Modeling» more  GMP 2006»
16 years 19 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
ICMCS
2005
IEEE
97views Multimedia» more  ICMCS 2005»
16 years 5 days ago
A computationally efficient 3D shape rejection algorithm
In this paper, we present an efficient 3D shape rejection algorithm for unlabeled 3D markers. The problem is important in domains such as rehabilitation and the performing arts. T...
Yinpeng Chen, Hari Sundaram
BERTINORO
2005
Springer
16 years 3 days ago
On the Use of Online Analytic Performance Models, in Self-Managing and Self-Organizing Computer Systems
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
Daniel A. Menascé, Mohamed N. Bennani, Hong...
EUC
2005
Springer
16 years 3 days ago
Ubiquitous Computing: Challenges in Flexible Data Aggregation
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
Eiko Yoneki, Jean Bacon