Sciweavers

5232 search results - page 866 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 10 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
ACMSE
2006
ACM
15 years 10 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
DEXAW
2004
IEEE
152views Database» more  DEXAW 2004»
15 years 10 months ago
OntoEditor: A Web Tool for Manipulating Ontologies Stored in Database Servers
The Web is moving to a new generation in which machine-understandable processing is mandatory. In order to achieve this goal it is essential to define ontologies which enable the ...
Cláudio de Souza Baptista, Karine F. Vascon...
EWCBR
2004
Springer
15 years 10 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
GECCO
2006
Springer
165views Optimization» more  GECCO 2006»
15 years 10 months ago
Evolving musical performance profiles using genetic algorithms with structural fitness
This paper presents a system that uses Genetic Algorithm (GA) to evolve hierarchical pulse sets (i.e., hierarchical duration vs. amplitude matrices) for expressive music performan...
Qijun Zhang, Eduardo Reck Miranda