1724 search results - page 76 / 345 » Abstract Interpreters for Free |
142
click to vote
BIOADIT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. According to the No Free Lunch (NFL) theorems all blackbox algorithms perform equally well when compared over the entire set of optimization problems. An important proble...
142
click to vote
MSR
2010
ACM
15 years 10 months ago
2010
ACM
Abstract—In a young field, such as Mining Software Repositories (MSR), there is always a call for benchmarks so that researchers can compare their results against others. Thus i...
176
click to vote
TPHOL
2002
IEEE
15 years 10 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
174
click to vote
OPODIS
2004
15 years 6 months ago
2004
Abstract. It appeared recently that some statistical properties of complex networks like the Internet, the World Wide Web or Peer-to-Peer systems have an important influence on the...
143
click to vote
SIAMSC
2010
15 years 3 months ago
2010
Abstract. We develop duality-based a posteriori error estimates for functional outputs of solutions of free-boundary problems via shape-linearization principles. To derive an appro...