236 search results - page 23 / 48 » Strong normalization results by translation |
135
click to vote
AI
2001
Springer
15 years 3 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
IJCAI
2007
15 years 1 months ago
2007
Compiling Bayesian networks (BNs) is one of the hot topics in the area of probabilistic modeling and processing. In this paper, we propose a new method of compiling BNs into multi...
114
click to vote
DAGM
2010
Springer
14 years 12 months ago
2010
Springer
Content-based image retrieval requires a natural image (e.g, a photo) as query, but the absence of such a query image is usually the reason for a search. An easy way to express the...
ENGL
2007
14 years 11 months ago
2007
—This paper describes a methodology based on Answer Set Programming (ASP) to work with incomplete geographic data. Source geographic data which describes a risk zone is translate...
189
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose a framework, called MIC, which adopts an information-theoretic approach to address the problem of quantitative association rule mining. In our MIC framework, we first d...