3736 search results - page 425 / 748 » Generative Programming |
151
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Geometrical place can be sometimes difficult to find by applying mathematical methods. Evolutionary algorithms deal with a population of solutions. This population (initially ran...
160
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
123
Voted
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
118
Voted
CP
2003
Springer
15 years 10 months ago
2003
Springer
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...
138
click to vote
GW
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...