7167 search results - page 156 / 1434 » A Technique for Invariant Generation |
180
click to vote
ASPDAC
2004
ACM
16 years 15 days ago
2004
ACM
As gate delays decrease faster than wire delays for each technology generation, buffer insertion becomes a popular method to reduce the interconnect delay. Several modern buffer in...
228
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents solutions to the feature correspondence and feature interpolation problems in image morphing. The user specifies the correspondence between the source and the...
176
click to vote
APGV
2007
ACM
15 years 11 months ago
2007
ACM
The display of space filling data is still a challenge for the community of visualization. Direct Volume Rendering (DVR) is one of the most important techniques developed to achie...
194
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present Concept Chain Queries (CCQ), a special case of text mining in document collections focusing on detecting links between two topics across text documents. ...
212
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...