2586 search results - page 131 / 518 » Automatic Abstraction for Congruences |
TVLSI
2002
14 years 9 months ago
2002
Abstract--The rectilinear Steiner tree (RST) problem is of essential importance to the automatic interconnect optimization for VLSI design. In this paper, we present a class of pro...
121
click to vote
WWW
2010
ACM
15 years 3 months ago
2010
ACM
Video summarization is a mechanism for generating short summaries of the video to help people quickly make sense of the content of the video before downloading or seeking more det...
EACL
2010
ACL Anthology
14 years 10 months ago
2010
ACL Anthology
Abstract. Data-to-text generation systems tend to be knowledge-based and manually built, which limits their reusability and makes them time and cost-intensive to create and maintai...
CISIS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
101
click to vote
FASE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...