1054 search results - page 67 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Elementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...
JAR
2010
14 years 8 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
o abstract describes the SmartWeb Ontology-based Annotation system (SOBA). A key feature of SOBA is that all information is extracted and stored with respect to the SmartWeb Integ...
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: In this paper we present a framework for the fusion of radar and image information. In the case considered here we combine information from multiple closerange radars to ...
EVOW
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A system for automatic composition using grammatical evolution is presented. Compositions are created under the constraints of a generative grammar, and under the bias of...