2586 search results - page 113 / 518 » Automatic Abstraction for Congruences |
130
click to vote
HIKM
2006
ACM
15 years 3 months ago
2006
ACM
Term extraction relates to extracting the most characteristic or important terms (words or phrases) in a document. This information is commonly used for improving the accuracy of ...
104
click to vote
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
EMMCVPR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. In this paper, we present an automatic human portrait system based on the And-Or graph representation. The system can automatically generate a set of life-like portraits ...
122
click to vote
CC
2008
Springer
14 years 12 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...