13383 search results - page 2454 / 2677 » Abstractions from proofs |
162
Voted
VLSISP
2010
14 years 11 months ago
2010
Abstract In case of insufficient data samples in highdimensional classification problems, sparse scatters of samples tend to have many ‘holes’—regions that have few or no nea...
121
click to vote
WABI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Genome sequencing will soon produce haplotype data for individuals. For pedigrees of related individuals, sequencing appears to be an attractive alternative to genotyping...
111
Voted
WDAG
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We argue that failure detectors encapsulate fairness. Fairness is a measure of the number of steps a process takes relative to another processes and/or messages in transi...
128
Voted
BIBM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Protein-protein interactions (PPI) play an important role in cellular processes and metabolic processes within a cell. An important task is to determine the existence of ...
128
click to vote
ICCBR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....