1106 search results - page 56 / 222 » Toward interactive statistical modeling |
140
Voted
STOC
2006
ACM
16 years 4 months ago
2006
ACM
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
132
Voted
NIPS
2004
15 years 5 months ago
2004
We propose a new interpretation of spiking neurons as Bayesian integrators accumulating evidence over time about events in the external world or the body, and communicating to oth...
153
Voted
ISBI
2009
IEEE
15 years 10 months ago
2009
IEEE
A new user interaction method called interactive polygons is presented in this paper. These interaction polygons are designed for use with the Active Volume Model segmentation met...
138
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
126
Voted
BMAS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...