2607 search results - page 119 / 522 » Complete Functional Synthesis |
269
Voted
FCCM
2011
IEEE
14 years 7 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
123
Voted
ICASSP
2011
IEEE
2011
IEEE
Robust sound field reproduction integrating multi-point sound field control and wave field synthesis
14 years 7 months ago
For a reproduced sound field, the competing goals between the listening area and reproduction accuracy in an actual environment is one of the most important problems in sound fi...
138
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
119
Voted
ENTCS
2007
15 years 3 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
140
Voted
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that can be expressed as nonli...