2805 search results - page 491 / 561 » Modeling Memory for Melodies |
APLAS
2008
ACM
14 years 12 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
103
click to vote
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we propose a novel learning-based face hallucination framework built in DCT domain, which can recover the high-resolution face image from a single lowresolution one...
FASE
2008
Springer
14 years 11 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
SDM
2010
SIAM
14 years 11 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...