3342 search results - page 522 / 669 » Automating Abstract Interpretation |
118
click to vote
LOGCOM
2007
15 years 2 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
122
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Grouping proteins into sequence-based clusters is a fundamental step in many bioinformatic analyses (e.g., homology-based prediction of structure or function). Standar...
123
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...
130
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Combinatorial auctions where agents can bid on bundles of items are desirable because they allow the agents to express complementarity and substitutability between the items. Howe...
153
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...