4166 search results - page 652 / 834 » Automating the constraining process |
158
Voted
DLOG
2009
15 years 1 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
152
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Visualization of orthogonal (disjoint) or overlapping datasets is a common task in bioinformatics. Few tools exist to automate the generation of extensively-customizab...
162
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: Large databases of genetic data are often biased in their representation. Thus, selection of genetic data with desired properties, such as evolutionary representation ...
139
click to vote
ISBI
2011
IEEE
14 years 7 months ago
2011
IEEE
Features extracted from cell networks have become popular tools in histological image analysis. However, existing features do not take sufficient advantage of the cycle structure...
186
Voted
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...