1418 search results - page 15 / 284 » How to Explain Mistakes |
COLING
2008
13 years 10 months ago
2008
The effectiveness of parsers based on manually created resources, namely a grammar and a lexicon, rely mostly on the quality of these resources. Thus, increasing the parser covera...
CCR
2004
13 years 8 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Word-of-mouth communication has been shown to play a key role in a variety of environments such as viral marketing and virus spreading. A family of algorithms, generally known as ...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
Irregular programs are programs organized around pointer-based data structures such as trees and graphs. Recent investigations by the Galois project have shown that many irregular...
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...