988 search results - page 76 / 198 » Pseudo-Genetic Algorithmic Composition |
APPROX
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We give a generic construction of an optimal hitting set generator (HSG) from any good “reconstructive” disperser. Past constructions of optimal HSGs have been based ...
108
click to vote
MM
2003
ACM
15 years 3 months ago
2003
ACM
We demonstrate the use of detail-on-demand hypervideo in interactive training and video summarization. Detail-on-demand video allows viewers to watch short video segments and to f...
ECOWS
2008
Springer
14 years 11 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
TVCG
2008
14 years 9 months ago
2008
This paper presents a new approach for the mesh composition on models with arbitrary boundary topology. After cutting the needed parts from existing mesh models and putting them in...
154
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...