4609 search results - page 907 / 922 » Automatic Generation of Sigma-Protocols |
100
click to vote
FECS
2006
15 years 1 months ago
2006
The recent enormous increase in the availability of mobile devices such as phones, PDAs, webpads, tablet PCs etc. and with it the corresponding demand for interactive multimedia a...
FLAIRS
2006
15 years 1 months ago
2006
We present an overview of the Virtual Patient project at the University of Maryland, which is developing a cognitive model of humans experiencing various states of health and dise...
117
click to vote
CSREAESA
2003
15 years 1 months ago
2003
Most so-called “adiabatic” digital logic circuit families reported in the low-power design literature are actually not truly adiabatic, in that they do not satisfy the general...
144
click to vote
IAAI
2003
15 years 1 months ago
2003
The Broadcast News Editor (BNE) and Broadcast News Navigator (BNN) are fully implemented systems that exploit integrated image, speech, and language processing to support intellig...
132
Voted
SDM
2004
SIAM
15 years 1 months ago
2004
SIAM
Several application domains such as molecular biology and geography produce a tremendous amount of data which can no longer be managed without the help of efficient and effective ...