5109 search results - page 228 / 1022 » On Learning Limiting Programs |
174
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
164
Voted
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
178
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
161
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
The identification of genes that influence the risk of common, complex diseases primarily through interactions with other genes and environmental factors remains a statistical and ...
148
click to vote
ICICS
2004
Springer
15 years 11 months ago
2004
Springer
We present a scheme to steganographically embed information in x86 program binaries. We define sets of functionally-equivalent instructions, and use a key-derived selection proces...