4555 search results - page 292 / 911 » Deductive Algorithmic Knowledge |
118
click to vote
IPCV
2007
15 years 4 months ago
2007
Abstract - We propose a new method for image segmentation based on a variational regularization algorithm for image denoising. We modify the Rudin-Osher-Fatemi (ROF) model in [1] b...
135
click to vote
FLAIRS
2004
15 years 4 months ago
2004
In this paper we define the notion of causal chains. Causal chains are a particular kind of sequential patterns that reflect causality relations according to background knowledge....
123
Voted
FLAIRS
2000
15 years 4 months ago
2000
Hierarchical conceptual clustering has been proven to be a useful data mining technique. Graph-based representation of structural information has been shown to be successful in kn...
113
click to vote
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
We consider the isomorphism and canonization problem for 3-connected planar graphs. The problem was known to be L -hard and in UL ∩ coUL [TW08]. In this paper, we give a determin...
135
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the M...