2496 search results - page 62 / 500 » On covering by translates of a set |
176
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
176
click to vote
ICRA
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract— This paper presents a hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cameras...
143
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
We present an algorithm for the conversion of very weak alternating Büchi automata into nondeterministic Büchi automata (NBA), and we introduce a local optimization criterion fo...
163
click to vote
ACL
2009
15 years 4 months ago
2009
Can we automatically compose a large set of Wiktionaries and translation dictionaries to yield a massive, multilingual dictionary whose coverage is substantially greater than that...
161
click to vote
IC
2007
15 years 7 months ago
2007
Hyper-Text Structured Query Language (HTSQL) is a standardizable middleware component that translates a HTTP request into an SQL query, performs the query against a relational dat...