2701 search results - page 301 / 541 » On the form of witness terms |
189
click to vote
SWAT
2004
Springer
16 years 10 hour ago
2004
Springer
In this paper, we investigate the test set problem and its variations that appear in a variety of applications. In general, we are given a universe of objects to be “distinguish...
180
click to vote
XSYM
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. We are presenting a coherent framework for XQuery processing that incorporates IR-style approximate matching and allows the ordering of results by their relevance score. ...
157
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
Both handwriting recognition systems and their users are error prone. Handwriting recognizers make recognition errors, and users may miss those errors when verifying output. As a ...
160
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
Octagonal Steiner Minimal Trees (OSMTs) are used in the global routing phase of pervasive octagonal VLSI layout. The OSMT problem seeks a minimal length spanning structure using e...
165
click to vote
ACMICEC
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...