3482 search results - page 143 / 697 » In Praise of Numerical Computation |
93
Voted
ENTCS
2010
14 years 10 months ago
2010
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...
112
Voted
IJACTAICIT
2010
14 years 10 months ago
2010
The classification of Electrocardiogram (ECG) is critical for diagnosis and treatment of patients with heart disorders. We present a technique for automatic the detection and clas...
106
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
133
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract—This paper addresses combinatorial optimization schemes for solving the multicriteria Steiner tree problem for communication network topology design (e.g., wireless mesh...
116
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—Cloud providers, like Amazon, offer their data centers’ computational and storage capacities for lease to paying customers. High electricity consumption, associated with runni...