1034 search results - page 63 / 207 » Inference of field initialization |
DEXA
2004
Springer
15 years 3 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
NIPS
2007
15 years 1 months ago
2007
We give a new class of outer bounds on the marginal polytope, and propose a cutting-plane algorithm for efficiently optimizing over these constraints. When combined with a concav...
107
click to vote
EVENT
2001
15 years 1 months ago
2001
Determining the occurrence of an event is fundamental to developing systems that can observe and react to them. Often, this determination is based on collecting video and/or audio...
120
click to vote
NIPS
2004
15 years 1 months ago
2004
Directed graphical models with one layer of observed random variables and one or more layers of hidden random variables have been the dominant modelling paradigm in many research ...
120
click to vote
KRDB
1996
15 years 1 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...