308 search results - page 61 / 62 » Answer Set Programming Based on Propositional Satisfiability |
SIGUCCS
2000
ACM
13 years 9 months ago
2000
ACM
Every campus department needs computer support, from ordering and setting up new computers to installing software and answering software questions. This is in addition to training...
BMCBI
2008
13 years 5 months ago
2008
Background: The principles of protein folding and evolution pose problems of very high inherent complexity. Often these problems are tackled using simplified protein models, e.g. ...
BMCBI
2006
13 years 5 months ago
2006
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...
WWW
2007
ACM
14 years 6 months ago
2007
ACM
Many applications in analytical domains often have the need to "connect the dots" i.e., query about the structure of data. In bioinformatics for example, it is typical t...
WWW
2002
ACM
14 years 6 months ago
2002
ACM
The organization of HTML into a tag tree structure, which is rendered by browsers as roughly rectangular regions with embedded text and HREF links, greatly helps surfers locate an...