13784 search results - page 2362 / 2757 » On Computing Functions with Uncertainty |
154
click to vote
ITS
1992
Springer
15 years 11 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...
174
click to vote
ICALP
1990
Springer
15 years 11 months ago
1990
Springer
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...
155
click to vote
SIGMOD
1989
ACM
15 years 11 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
181
click to vote
STOC
1989
ACM
15 years 11 months ago
1989
ACM
Division is a fundamental problem for arithmetic and algebraic computation. This paper describes Boolean circuits of bounded fan-in for integer division nding reciprocals that...
174
click to vote
ACISP
2007
Springer
15 years 11 months ago
2007
Springer
We study the multicast stream authentication problem when the communication channel is under control of an opponent who can drop, reorder and inject data packets. In this work, we...