13784 search results - page 2572 / 2757 » On Computing Functions with Uncertainty |
CMSB
2006
Springer
14 years 25 days ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
ASIACRYPT
2001
Springer
14 years 23 days ago
2001
Springer
A Zero-knowledge protocol provides provably secure entity authentication based on a hard computational problem. Among many schemes proposed since 1984, the most practical rely on f...
ICRA
2000
IEEE
14 years 21 days ago
2000
IEEE
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
ALT
1995
Springer
14 years 20 days ago
1995
Springer
This paper characterizes the polynomial time learnability of TPk, the class of collections of at most k rst-order terms. A collection in TPk de nes the union of the languages de n...
ICPP
1995
IEEE
14 years 20 days ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...