2950 search results - page 29 / 590 » Computing with Infinitely Many Processes |
119
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we show that computational proofs of indistinguishabili...
SMA
1999
ACM
15 years 6 months ago
1999
ACM
Many solid modeling construction techniques produce non-manifold r-sets (solids). With each non-manifold model N we can associate a family of manifold solid models that are infini...
110
click to vote
IAAI
1993
15 years 3 months ago
1993
In 1991 Ford began deployment of the Computer Aided Parts Estimating System (CAPE), a highly advanced knowledge-based system designed to generate, evaluate and cost automotive par...
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents an information-driven online video composition system. The composition work handled by the system includes dynamically setting multiple pan/tilt/zoom (PTZ) cam...
UAI
2008
15 years 3 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...