11397 search results - page 107 / 2280 » A Relational Abstraction for Functions |
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Learning in complex contexts often requires pure induction to be supported by various kinds of meta-information. Providing such information is a critical, difficult and ...
ECAI
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract-- This paper is concerned with the theory of quasivelocities and its applications to control. The equations of motion of a mechanical system are derived using the Lagrange
ENTCS
2010
13 years 7 months ago
2010
We present the derivation of a CTMC with levels model of diffusion in cylindrical coordinates partial differential equation for Fick's law. The resulting model abstracts both...
MOC
2002
13 years 9 months ago
2002
In a series of papers, B. C. Carlson produced tables of elliptic integrals, evaluating them in terms of easily computed symmetrical functions, using a group of multivariate recurre...