2273 search results - page 164 / 455 » On the Expressiveness and Complexity of ATL |
IMCSIT
2010
14 years 8 months ago
2010
In this paper we discuss the problem of building the Polish lexicon for the Cyc ontology. As the ontology is very large and complex we describe semi-automatic translation of part o...
NAACL
2010
14 years 8 months ago
2010
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
74
Voted
SIGDIAL
2010
14 years 8 months ago
2010
Spoken language interaction between humans and robots in natural environments will necessarily involve communication about space and distance. The current study examines people�...
EUSFLAT
2009
14 years 8 months ago
2009
This paper demonstrates that several known sequence kernels can be expressed in a unified framework in which the position specificity is modeled by fuzzy equivalence relations. In ...
69
Voted
ICFEM
2009
Springer
14 years 8 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...