909 search results - page 128 / 182 » Relational bytecode correlations |
CHARME
2003
Springer
15 years 1 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
FGR
2000
IEEE
15 years 1 months ago
2000
IEEE
We show that a simple, memory-based technique for appearance-based face recognition, motivated by the realworld task of visitor identification, can outperform more sophisticated a...
INFOCOM
1995
IEEE
15 years 1 months ago
1995
IEEE
We continue our study of document marking to deter illicit dissemination. A n experiment we performed reveals that the distortion on the photocopy of a document is very different ...
GREC
2009
Springer
15 years 1 months ago
2009
Springer
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
67
Voted
ACMICEC
2008
ACM
14 years 11 months ago
2008
ACM
Online auction services have reached great popularity and revenue over the last years. A key component for this success is the seller. Few studies proposed analyzing how the selle...