279 search results - page 45 / 56 » Computing Intersections of Horn Theories for Reasoning with ... |
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
A new model for the multiscale characterization of turbulence and chaotic information in digital images is presented. The model is applied to infrared satellite images for the det...
SIGECOM
2006
ACM
14 years 1 months ago
2006
ACM
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...
JCST
2010
13 years 2 months ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
LICS
1991
IEEE
13 years 11 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...