155 search results - page 9 / 31 » Enforcing Integrability by Error Correction using L1-minimiz... |
ACL
2010
13 years 5 months ago
2010
This paper explores the use of clickthrough data for query spelling correction. First, large amounts of query-correction pairs are derived by analyzing users' query reformula...
ICCSA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Relational algebra is one of the main topics covered in undergraduate computer science database courses. In this paper, we present a web-based tool designed to automatica...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
ECBS
2000
IEEE
14 years 1 days ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...