1941 search results - page 154 / 389 » DNA Computing Approach to Construction of Semantic Model |
188
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
159
Voted
CIVR
2006
Springer
15 years 8 months ago
2006
Springer
High-dimensional index is one of the most challenging tasks for content-based video retrieval (CBVR). Typically, in video database, there exist two kinds of clues for query: visual...
140
click to vote
DLOG
2004
15 years 6 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
162
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Advanced surveillance systems for behavior recognition in outdoor traffic scenes depend strongly on the particular configuration of the scenario. Scene-independent trajectory analy...
260
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...