1063 search results - page 74 / 213 » Order and Negation as Failure |
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
The ability to predict which files in a large software system are most likely to contain the largest numbers of faults in the next release can be a very valuable asset. To accomp...
ISBMS
2010
Springer
14 years 2 months ago
2010
Springer
This paper introduces a new Light Aspiration device for in vivo Soft TIssue Characterization (LASTIC). This device is designed to be used during surgery, and can undergo sterilizat...
EDBT
2009
ACM
14 years 2 months ago
2009
ACM
We present PROUD - A PRObabilistic approach to processing similarity queries over Uncertain Data streams, where the data streams here are mainly time series streams. In contrast t...
ICFP
2000
ACM
14 years 2 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
STOC
1996
ACM
14 years 2 months ago
1996
ACM
We consider the problem of scheduling n jobs that are released over time on a single machine in order to minimize the total ow time. This problem is well-known to be NPcomplete, a...