1795 search results - page 233 / 359 » On the Complexity of Circuit Satisfiability |
113
Voted
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...
108
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
94
Voted
NIPS
2007
15 years 2 months ago
2007
The expectation maximization (EM) algorithm is a widely used maximum likelihood estimation procedure for statistical models when the values of some of the variables in the model a...
GRAPHICSINTERFACE
2001
15 years 2 months ago
2001
Though considerable progress has been made with the view-dependent techniques in terrain visualization, the CPU overhead still precludes their wide application in many domains. Th...
86
Voted
IJCAI
2003
15 years 2 months ago
2003
In many applications of temporal reasoning we are in terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...