Sciweavers

1818 search results - page 107 / 364
» The Many Faces of a Translation
Sort
View
LPNMR
1999
Springer
15 years 5 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
100
Voted
FINTAL
2006
15 years 4 months ago
Evaluation of Alignment Methods for HTML Parallel Text
The Internet constitutes a potential huge store of parallel text that may be collected to be exploited by many applications such as multilingual information retrieval, machine tran...
Enrique Sánchez Villamil, Susana Santos-Ant...
ATVA
2008
Springer
148views Hardware» more  ATVA 2008»
15 years 2 months ago
Decidable Compositions of O-Minimal Automata
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
Alberto Casagrande, Pietro Corvaja, Carla Piazza, ...
65
Voted
LREC
2010
136views Education» more  LREC 2010»
15 years 2 months ago
Alignment-based Profiling of Europarl Data in an English-Swedish Parallel Corpus
This paper profiles the Europarl part of an English-Swedish parallel corpus and compares it with three other subcorpora of the same parallel corpus. We first describe our method f...
Lars Ahrenberg
112
Voted
IJCAI
2007
15 years 2 months ago
The Logic Behind Weighted CSP
We define a translation from Weighted CSP to signed Max-SAT, and a complete resolution-style calculus for solving signed Max-SAT. Based on these results, we then describe an orig...
Carlos Ansótegui, Maria Luisa Bonet, Jordi ...