336 search results - page 39 / 68 » Using a Model Merging Language for Reconciling Model Version... |
110
click to vote
EMNLP
2009
15 years 3 days ago
2009
We present an inexact search algorithm for the problem of predicting a two-layered dependency graph. The algorithm is based on a k-best version of the standard cubictime search al...
109
click to vote
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
We present Promodes, an algorithm for unsupervised word decomposition, which is based on a probabilistic generative model. The model considers segment boundaries as hidden variable...
131
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
113
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
106
click to vote
NGITS
1995
Springer
15 years 5 months ago
1995
Springer
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...