17366 search results - page 431 / 3474 » New Revision Algorithms |
169
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This paper presents three new algorithms for the automatic construction of models from Object Oriented Probabilistic RelationalModels. The first two algorithms are based on the kn...
158
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
173
click to vote
DEXA
2010
Springer
15 years 7 months ago
2010
Springer
We consider the containment problem for conjunctive queries with atomic negation. Firstly, we refine an existing algorithm based on homomorphism checks, which itself improves other...
209
click to vote
IJFCS
2006
15 years 6 months ago
2006
The generalized LR parsing algorithm for context-free grammars is extended for the case of Boolean grammars, which are a generalization of the context-free grammars with logical c...
165
click to vote
NPL
2006
15 years 6 months ago
2006
Abstract. In this paper we introduce a new error measure, integrated reconstruction error (IRE) and show that the minimization of IRE leads to principal eigenvectors (without rotat...