2914 search results - page 221 / 583 » Learning and Inference with Constraints |
175
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
143
click to vote
ISMB
1997
15 years 8 months ago
1997
Discrete motifsthat discriminate functionalclasses of proteins are useful for classifying newsequences, capturingstructural constraints, andidentifyingprotein subclasses.Despiteth...
200
click to vote
KRDB
1996
15 years 8 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
172
click to vote
IJSN
2006
15 years 6 months ago
2006
: The pervasive availability and wide usage of wireless networks with different kinds of topologies, techniques and protocol suites have brought with them a need to improve securit...
171
click to vote
TIP
2008
15 years 6 months ago
2008
Image priors based on products have been recognized to offer many advantages because they allow simultaneous enforcement of multiple constraints. However, they are inconvenient for...