1145 search results - page 130 / 229 » The Correctness of an Optimized Code Generation |
155
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
In this paper we present an approach of generating Cascading Style Sheet documents automatically if the desired effect on the content elements is specified. While a Web user agent...
165
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The concept of artificial evolution has been applied to numerous real world applications in different domains. In this paper, we use this concept in the domain of virology to ev...
162
Voted
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
123
click to vote
ICB
2009
Springer
15 years 11 months ago
2009
Springer
This paper concentrates on the comparisons of systems that are used for the recognition of expressions generated by six upper face action units (AU s) by using Facial Action Coding...
121
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...