1174 search results - page 175 / 235 » Optimizing generics is easy! |
110
click to vote
ICLP
1995
Springer
15 years 3 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
100
click to vote
SCA
2007
15 years 2 months ago
2007
Standing is a fundamental skill mastered by humans and animals alike. Although easy for adults, it requires careful and deliberate manipulation of contact forces. The variation in...
BIRD
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
100
click to vote
ALENEX
2008
15 years 1 months ago
2008
Consensus clustering is the problem of reconciling clustering information about the same data set coming from different sources or from different runs of the same algorithm. Cast ...
130
click to vote
GRAPHICSINTERFACE
2008
15 years 1 months ago
2008
Shadow maps are commonly used in real-time rendering, but they cannot be filtered linearly like standard color, resulting in severe aliasing. Variance shadow maps resolve this pro...