6693 search results - page 5 / 1339 » Methods of Automatic Algorithm Generation |
NPAR
2000
ACM
13 years 9 months ago
2000
ACM
This paper presents a new method for the automatic painterly rendering. This method synthesizes an impressive image with a handcrafted look from a source image such as a photograp...
COMPSAC
2006
IEEE
14 years 2 days ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
FMCAD
2008
Springer
13 years 7 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
CIKM
2009
Springer
14 years 17 days ago
2009
Springer
We investigate the automatic generation of topic pages as an alternative to the current Web search paradigm. We describe a general framework, which combines query log analysis to ...
ECOWS
2008
Springer
13 years 7 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...