Sciweavers

103 search results - page 10 / 21
» First-class Attribute Grammars
Sort
View
ENTCS
2008
125views more  ENTCS 2008»
13 years 11 months ago
Extending Lustre with Timeout Automata
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
Jimin Gao, Mike Whalen, Eric Van Wyk
ENTCS
2006
161views more  ENTCS 2006»
13 years 11 months ago
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
Hartmut Ehrig, Karsten Ehrig
ICIP
2003
IEEE
15 years 15 days ago
Stochastic attributed K-d tree modeling of technical paper title pages
Structural information about a document is essential for structured query processing, indexing, and retrieval. A document page can be partitioned into a hierarchy of homogeneous r...
Song Mao, Azriel Rosenfeld, Tapas Kanungo
HASKELL
2009
ACM
14 years 5 months ago
The architecture of the Utrecht Haskell compiler
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
GECCO
2007
Springer
427views Optimization» more  GECCO 2007»
14 years 5 months ago
Evolutionary music composer integrating formal grammar
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
Yaser M. A. Khalifa, Badar K. Khan, Jasmin Begovic...