5109 search results - page 228 / 1022 » On Learning Limiting Programs |
181
click to vote
ICLP
2005
Springer
16 years 4 days 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...
169
click to vote
EMSOFT
2004
Springer
16 years 19 hour 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...
182
click to vote
EMSOFT
2004
Springer
16 years 19 hour 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...
168
click to vote
GECCO
2004
Springer
16 years 14 hour 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 ...
154
click to vote
ICICS
2004
Springer
16 years 7 hour 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...