1562 search results - page 5 / 313 » Convenience Over Correctness |
GG
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
The TaskTracer system allows knowledge workers to define a set of activities that characterize their desktop work. It then associates with each user-defined activity the set of ...
CIKM
2006
Springer
13 years 11 months ago
2006
Springer
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
An error-resilient coding scheme is proposed for the transmission of images over unreliable channels. Forward Error Correction is used in conjunction with the error-resilient sour...
FSTTCS
1993
Springer
13 years 12 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...