261 search results - page 28 / 53 » synthese 2010 |
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
The advent of statistical speech synthesis has enabled the unification of the basic techniques used in speech synthesis and recognition. Adaptation techniques that have been succ...
ECCV
2010
Springer
13 years 7 months ago
2010
Springer
This paper introduces a new procedure to handle color in single image super resolution (SR). Most existing SR techniques focus primarily on enforcing image priors or synthesizing i...
IAJIT
2010
13 years 6 months ago
2010
: In parity preserving reversible circuit, the parity of the input vector must match the parity of the output vector. It renders a wide class of circuit faults readily detectable a...