1187 search results - page 148 / 238 » Graph-Based Procedural Abstraction |
102
click to vote
TIP
2011
14 years 9 months ago
2011
Abstract—We have developed a new face hallucination framework termed from local pixel structure to global image super-resolution (LPS-GIS). Based on the assumption that two simil...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
117
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
206
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
129
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...