9931 search results - page 472 / 1987 » Generative Modeling by PRISM |
183
Voted
SCALESPACE
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we develop partial differential equations (PDEs) that model the generation of a large class of morphological filters, the levelings and the openings/closings by rec...
183
Voted
CCS
2006
ACM
15 years 10 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
194
Voted
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
220
Voted
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Networked Virtual Environments (NVEs) are computer generated, synthetic worlds that allow simultaneous interactions of multiple participants. IP multicast and application layer mu...
219
Voted
HIS
2007
15 years 8 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...