536 search results - page 84 / 108 » A Translational Approach to Constraint Answer Set Solving |
117
click to vote
BALT
2006
15 years 3 months ago
2006
In many application domains (e.g., WWW mining, molecular biology), large string datasets are available and yet under-exploited. The inductive database framework assumes that both s...
PARELEC
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, techniques for optimization of net algorithms describing parallel asynchronous computations and derived from cycling and branching behavioral descriptions are prese...
117
click to vote
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
AAAI
2006
15 years 1 months ago
2006
We propose a simple mechanism for incorporating advice (prior knowledge), in the form of simple rules, into support-vector methods for both classification and regression. Our appr...
WABI
2009
Springer
15 years 6 months ago
2009
Springer
Background: Supertree methods combine the phylogenetic information from multiple partially-overlapping trees into a larger phylogenetic tree called a supertree. Several supertree ...