6045 search results - page 1128 / 1209 » Computable Linearizations of Well-partial-orderings |
DBPL
1999
Springer
14 years 5 days ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
SIGSOFT
1998
ACM
14 years 4 days ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
LACL
1998
Springer
14 years 3 days ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
VISUALIZATION
1996
IEEE
14 years 1 days ago
1996
IEEE
In this paper we describe a technique for choosing multiple colours for use during data visualization. Our goal is a systematic method for maximizing the total number of colours a...
VLSID
1996
IEEE
14 years 1 days ago
1996
IEEE
Simulated annealing based standard cell placement for VLSI designs has long been acknowledged as a compute-intensive process, and as a result several research efforts have been un...