4609 search results - page 543 / 922 » Automatic Generation of Sigma-Protocols |
175
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Computer simulation and digital measuring systems are now generating data of unprecedented size. The size of data is becoming so large that conventional visualization tools are in...
184
Voted
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
165
click to vote
KDD
1999
ACM
15 years 11 months ago
1999
ACM
Many fraud analysis systemshave at their heart a rule-based enginefor generatingalertsaboutsuspiciousbehaviors.The rules in the systemareusually basedon expert knowledge. Automati...
170
click to vote
HT
1998
ACM
15 years 11 months ago
1998
ACM
“Linking by inking” is a new interface for reader-directed link construction that bridges reading and browsing activities. We are developing linking by inking in XLibris, a hy...
216
Voted
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying c...