1631 search results - page 181 / 327 » Uniform Distributed Synthesis |
150
click to vote
DGCI
2000
Springer
15 years 7 months ago
2000
Springer
We consider the problem of finding the best match for a given query shape among candidate shapes stored in a shape base. This is central to a wide range of applications, such as, d...
120
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
111
click to vote
RT
2000
Springer
15 years 6 months ago
2000
Springer
: Iridescent colors of optical disks are caused by light diffraction from their surface microstructure. This paper proposes a diffractive illumination model for optical disks based...
135
Voted
COLT
1995
Springer
15 years 6 months ago
1995
Springer
In this paper, we study PAC-leaming algorithms for specialized classes of deterministic finite automata (DFA). Inpartictdar, we study branchingprogrsms, and we investigate the int...
109
click to vote
AAAI
2008
15 years 5 months ago
2008
We introduce novel algorithms for generating random solutions from a uniform distribution over the solutions of a boolean satisfiability problem. Our algorithms operate in two pha...