1226 search results - page 172 / 246 » Generating Abstractions from Static Domain Analysis |
CHI
2004
ACM
14 years 8 months ago
2004
ACM
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
ROBOCUP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper proposes a new algorithm for the automatic segmentation of motion data from a humanoid soccer playing robot that allows feedforward neural networks to generali...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
HAIS
2009
Springer
14 years 20 days ago
2009
Springer
In engineering design the use of approximation models (= surrogate models) has become standard practice for design space exploration, sensitivity analysis, visualization and optimi...
ER
2010
Springer
13 years 6 months ago
2010
Springer
: Data provenance is becoming increasingly important for biosciences with the advent of large-scale collaborative environments such as the iPlant collaborative, where scientists co...