7335 search results - page 1254 / 1467 » Scene Based Reasoning |
201
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
169
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Trust-management systems address the authorization problem in distributed systems. They offer several advantages over other approaches, such as support for delegation and...
196
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
Field programmable gate arrays (FPGAs), graphics processing units (GPUs) and Sony's PlayStation 2 vector units offer scope for hardware acceleration of applications. We compa...
164
click to vote
GFKL
2006
Springer
15 years 10 months ago
2006
Springer
Stemming algorithms find canonical forms for inflected words, e. g. for declined nouns or conjugated verbs. Since such a unification of words with respect to gender, number, time, ...
213
click to vote
AI
2001
Springer
15 years 10 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...