1173 search results - page 193 / 235 » Program Derivation Using Analogy |
144
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
111
Voted
SOSP
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
134
click to vote
CONSTRAINTS
2008
15 years 2 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
142
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
141
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...