2278 search results - page 53 / 456 » Specification Techniques for Automatic Performance Analysis ... |
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
Generation of ground-truths is of great importance for unbiased performance evaluation of document layout analysis methods. This is especially necessary because many methods are c...
101
click to vote
BMCBI
2007
14 years 9 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
ACMDIS
2000
ACM
15 years 2 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
103
click to vote
ACL
2010
14 years 7 months ago
2010
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...