3736 search results - page 425 / 748 » Generative Programming |
200
click to vote
IFIP
2004
Springer
16 years 8 days 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...
202
click to vote
LOPSTR
2004
Springer
16 years 7 days 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 ...
163
click to vote
TLDI
2003
ACM
16 years 4 days 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...
138
click to vote
CP
2003
Springer
16 years 3 days 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...
179
click to vote
GW
2003
Springer
16 years 3 days 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...