1792 search results - page 71 / 359 » What Are We Arguing About |
AIME
2007
Springer
14 years 4 months ago
2007
Springer
In diagnostic decision-support systems, a test-selection facility serves to select tests that are expected to yield the largest decrease in the uncertainty about a patient’s diag...
CEAS
2006
Springer
14 years 1 months ago
2006
Springer
Our research group has developed new, stateof-the-art antispam software, described in other papers. We are in the process of deploying that software in a large production corporat...
DMSN
2004
ACM
14 years 3 months ago
2004
ACM
We consider the in-network computation of approximate “big picture” summaries in bandwidth-constrained sensor networks. First we review early work on computing the Haar wavele...
METRICS
1997
IEEE
14 years 2 months ago
1997
IEEE
Schlumberger RPS successfully applies software measurement to support their software development projects. It is proposed that the success of their measurement practices is mainly...
FMCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...