Sciweavers

4095 search results - page 455 / 819
» How to test a tree
Sort
View
ER
2010
Springer
104views Database» more  ER 2010»
15 years 4 months ago
Provenance Management in BioSciences
: Data provenance is becoming increasingly important for biosciences with the advent of large-scale collaborative environments such as the iPlant collaborative, where scientists co...
Sudha Ram, Jun Liu
FOCM
2010
100views more  FOCM 2010»
15 years 4 months ago
Higher-Order Averaging, Formal Series and Numerical Integration I: B-series
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...
P. Chartier, A. Murua, J. M. Sanz-Serna
FUIN
2010
97views more  FUIN 2010»
15 years 4 months ago
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
Johan van Benthem, Amélie Gheerbrant
IJRR
2010
102views more  IJRR 2010»
15 years 4 months ago
View-based Maps
— Robotic systems that can create and use visual maps in realtime have obvious advantages in many applications, from automatic driving to mobile manipulation in the home. In this...
Kurt Konolige, James Bowman, J. D. Chen, Patrick M...
JCAMD
2010
82views more  JCAMD 2010»
15 years 4 months ago
Making priors a priority
When we build a predictive model of a drug property we rigorously assess its predictive accuracy, but we are rarely able to address the most important question, “How useful will...
Matthew Segall, Andrew Chadwick