2722 search results - page 307 / 545 » Automating Language Evolution |
135
click to vote
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper presents an architecture and a wrapper synthesis approach for the design of multi-clock systems-on-chips. We build upon the initial work on multi-clock latency-insen...
124
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
129
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
126
click to vote
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
112
click to vote
ILP
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...