Sciweavers

1582 search results - page 112 / 317
» Mathematical Tools for Physics
Sort
View
DIS
2007
Springer
14 years 3 months ago
Machine Learning in Ecosystem Informatics
Ecosystem Informatics brings together mathematical and computational tools to address scientific and policy challenges in the ecosystem sciences. These challenges include novel s...
Thomas G. Dietterich
IWSEC
2007
Springer
14 years 3 months ago
Processing Multi-parameter Attacktrees with Estimated Parameter Values
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
Aivo Jürgenson, Jan Willemson
ICRA
2005
IEEE
130views Robotics» more  ICRA 2005»
14 years 2 months ago
Advanced Geometric Approach for Graphics and Visual Guided Robot Object Manipulation
— This paper presents an approach to deal with standard tasks of computer animations and robotics based on Conformal Geometric Algebra. We will show that this algebra is very wel...
Dietmar Hildenbrand, Eduardo Bayro-Corrochano, Jul...
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
14 years 2 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
IWVF
2001
Springer
14 years 1 months ago
Mereology of Visual Form
Visual forms come in countless varieties, from the simplicity of a sphere, to the geometric complexity of a face, to the fractal complexity of a rugged coast. These varieties have ...
Donald D. Hoffman