1022 search results - page 115 / 205 » Stable models and circumscription |
ASIAN
1999
Springer
14 years 2 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
Extracting the inductance of complex interconnect topologies is a formidable task, and simulating the resulting dense partial inductance matrix is even more difficult. Furthermore...
ACRI
2010
Springer
13 years 12 months ago
2010
Springer
A method of constructing asynchronous cellular automata (ACA model) as a parallel composition of two interacting ACA is presented. The resulting ACA is intended to simulate a proce...
ECIR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper explores how to predict query difficulty for contextual image retrieval. We reformulate the problem as the task of predicting how difficult to represent a quer...
IMAGING
2004
13 years 11 months ago
2004
A Bayesian method of generating color correction matrices for digital image sensors is presented. This method was developed for sensors with poor colorimetric quality, and uses st...