1328 search results - page 129 / 266 » Cut-free common knowledge |
121
click to vote
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
125
Voted
DIAGRAMS
2000
Springer
15 years 8 months ago
2000
Springer
Bar charts are common data representations in scientific and technical papers. In order to recognize the printed bar charst, we present a new Hough based bar chart recognition algo...
133
click to vote
DSVIS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
133
click to vote
PRDC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper evaluates the behavior of a common off-theshelf (COTS) database management system (DBMS) in presence of transient faults. Database applications have traditionally been ...
138
click to vote
WECWIS
1999
IEEE
15 years 8 months ago
1999
IEEE
The dominant technology for electronic communication and commerce, the telephone, does not discriminate between sighted and non-sighted users. The web does discriminate. The web i...