7430 search results - page 1311 / 1486 » Programming Applications in CIFF |
150
click to vote
CPAIOR
2004
Springer
15 years 12 months ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
161
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard call-by-value CPS translation, Danvy ...
161
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
151
click to vote
EUC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Power consumption is becoming one of the most important constraints for microprocessor design in nanometer-scale technologies. Especially, as the transistor supply voltag...
136
click to vote
EUROGP
2004
Springer
15 years 11 months ago
2004
Springer
Predicting the three-dimensional structure of proteins is a hard problem, so many have opted instead to predict the secondary structural state (usually helix, strand or coil) of e...