158 search results - page 21 / 32 » Strong logics of first and second order |
124
click to vote
SAC
1994
ACM
15 years 6 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
91
Voted
JUCS
2002
15 years 1 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
117
click to vote
WG
1993
Springer
15 years 6 months ago
1993
Springer
Minimal perfect hash functions are used for memory efficient storage and fast retrieval of items from static sets. We present an infinite family of efficient and practical algori...
131
Voted
CRYPTO
2008
Springer
15 years 3 months ago
2008
Springer
The goal of a statistical database is to provide statistics about a population while simultaneously protecting the privacy of the individual records in the database. The tension be...
130
click to vote
NIPS
2008
15 years 3 months ago
2008
Policy gradient (PG) reinforcement learning algorithms have strong (local) convergence guarantees, but their learning performance is typically limited by a large variance in the e...