2266 search results - page 345 / 454 » How Not to Evaluate a Developmental System |
156
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
155
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
The performance of IP networks depends on a wide variety of dynamic conditions. Traffic shifts, equipment failures, planned maintenance, and topology changes in other parts of th...
152
click to vote
ROBOCUP
2004
Springer
15 years 10 months ago
2004
Springer
We show how to apply learning methods to two robotics problems, namely the optimization of the on-board controller of an omnidirectional robot, and the derivation of a model of the...
153
click to vote
IWOMP
2010
Springer
15 years 9 months ago
2010
Springer
OpenMP is a popular and evolving programming model for shared-memory platforms. It relies on compilers to target modern hardware architectures for optimal performance. A variety of...
137
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...