411 search results - page 61 / 83 » Automating the Dependency Pair Method |
110
click to vote
NIPS
2007
15 years 2 months ago
2007
Dynamic Bayesian networks are structured representations of stochastic processes. Despite their structure, exact inference in DBNs is generally intractable. One approach to approx...
74
Voted
PVLDB
2008
15 years 4 days ago
2008
The popularity of collaborative tagging sites presents a unique opportunity to explore keyword search in a context where query results are determined by the opinion of a network o...
131
click to vote
ICDM
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
123
click to vote
CADE
2005
Springer
16 years 29 days ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
119
Voted
JACIII
2008
15 years 19 days ago
2008
Abstract. One of the main functions of the traffic navigation systems is to find the optimal route to the destination. In this paper, we propose an iterative Q value updating algor...