994 search results - page 96 / 199 » Custom Computing Machines for the Set Covering Problem |
135
click to vote
VMCAI
2012
Springer
13 years 8 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
95
Voted
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Many information systems are used in a problem solving context. Examples are travel planning systems, catalogs in electronic commerce, or agenda planning systems. They can be made...
85
Voted
ICML
2004
IEEE
16 years 1 months ago
2004
IEEE
We consider the problem of decentralized detection under constraints on the number of bits that can be transmitted by each sensor. In contrast to most previous work, in which the ...
127
click to vote
KDD
2006
ACM
16 years 1 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...
124
Voted
BMCBI
2007
15 years 19 days ago
2007
Background: High-throughput peptide and protein identification technologies have benefited tremendously from strategies based on tandem mass spectrometry (MS/MS) in combination wi...