4609 search results - page 787 / 922 » Automatic Generation of Sigma-Protocols |
143
click to vote
DOOD
1995
Springer
15 years 9 months ago
1995
Springer
Wrappers provide access to heterogeneous information sources by converting application queries into source speci c queries or commands. In this paper we present a wrapper implemen...
170
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
163
click to vote
PEPM
1995
ACM
15 years 9 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
162
click to vote
SI3D
1995
ACM
15 years 9 months ago
1995
ACM
A visual navigation system is described which uses texture mapped primitives to represent clusters of objects to maintain high and approximately constant frame rates. In cases whe...
159
click to vote
ECML
1991
Springer
15 years 9 months ago
1991
Springer
Robust reasoning requires learning from problem solving episodes. Past experience must be compiled to provide adaptation to new contingencies and intelligent modification of solut...