2255 search results - page 378 / 451 » Computing a Center-Transversal Line |
LICS
2000
IEEE
15 years 3 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
ASPLOS
2000
ACM
15 years 3 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
109
click to vote
SSDBM
2010
IEEE
15 years 3 months ago
2010
IEEE
Similarity search and similarity join on strings are important for applications such as duplicate detection, error detection, data cleansing, or comparison of biological sequences....
148
click to vote
COBUILD
1999
Springer
15 years 3 months ago
1999
Springer
This paper discusses our implementation and experience with a camera-based whiteboard scanner. The ZombieBoard system (so called because it brings to electronic life the marks on a...
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...