7 search results - page 2 / 2 » Implementing Semiring-Based Constraints Using Mozart |
SBACPAD
2008
IEEE
13 years 10 months ago
2008
IEEE
Single processor technology has been evolving across last decades, but due to physical limitations of chip manufacturing process, the industry is pursuing alternatives to sustain ...
ICLP
2004
Springer
13 years 9 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...