7335 search results - page 445 / 1467 » Scene Based Reasoning |
282
click to vote
DLOG
2011
14 years 11 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
162
click to vote
CADE
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
186
click to vote
ICDCSW
2009
IEEE
16 years 2 months ago
2009
IEEE
When stricken by a catastrophic natural disaster, emergency rescue operation is very critical to many lives. Many people trapped in the disastrous areas under collapsed buildings ...
183
click to vote
ICC
2007
IEEE
16 years 2 months ago
2007
IEEE
— Interleave division multiple access (IDMA) recently attracted many research activities because of its excellent performance despite its reasonable low complexity. The low compl...
197
click to vote
LOPSTR
1994
Springer
15 years 11 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...