13784 search results - page 197 / 2757 » On Computing Functions with Uncertainty |
MPC
1995
Springer
14 years 23 days ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
MFCS
1990
Springer
14 years 1 months ago
1990
Springer
We introduce the notion of associative one-way functions and prove that they exist if and only if P 6= NP. As evidence of their utility, we present two novel protocols that apply ...
HICSS
1994
IEEE
14 years 22 days ago
1994
IEEE
Meeting memory features are poorly integrated into current group support systems (GSS). This paper discusses how to introduce meeting memory functionality into a GSS. The paper fi...
IJACTAICIT
2010
13 years 6 months ago
2010
This paper describes new proposed algorithms for constructing the transfer function of nth order Butterworth LPF using the idea of the cascade combination of active filters. Compu...
MFCS
1993
Springer
14 years 1 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...