988 search results - page 132 / 198 » Pseudo-Genetic Algorithmic Composition |
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...
MM
2006
ACM
14 years 4 months ago
2006
ACM
When a video is displayed on a smaller display than originally intended, some of the information in the video is necessarily lost. In this paper, we introduce Video Retargeting th...
ICCV
2005
IEEE
14 years 4 months ago
2005
IEEE
Reconstruction of 3D structures from uncalibrated image sequences has a wealthy history. Most work has been focused on rigid objects or static scenes. This paper studies the probl...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
- This paper describes the design and fabrication of a low cost, solar powered mobile robot to support a variety of scientific missions on the Antarctic plateau during the austral ...
ISORC
2005
IEEE
14 years 4 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...