7335 search results - page 322 / 1467 » Scene Based Reasoning |
125
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...
143
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
117
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
This paper proposes a context-dependent case-based mechanism for selecting negotiation partners with the focus on the adaptation of similarity relations to a specific context. Th...
121
click to vote
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
In this contribution we present the dialogue generator module of a Dialogue-based Interactive Diagnostic and Learning System (DIDLS) for Historical Text Comprehension (HTC). The d...
156
click to vote
CCS
1999
ACM
15 years 9 months ago
1999
ACM
We describe and analyze a new digital signature scheme. The new scheme is quite efficient, does not require the the signer to maintain any state, and can be proven secure against ...