1390 search results - page 36 / 278 » On the Algebraic Structure of Convergence |
185
click to vote
ENTCS
2006
14 years 12 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
101
click to vote
SIAMNUM
2011
14 years 6 months ago
2011
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...
101
click to vote
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— In this paper we formulate the “generalized inverse kinematics problem” for a spatial serial chain, where the goal is to determine values for structural parameters as well ...
CIVR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents a novel technique for learning the underlying structure that links visual observations with semantics. The technique, inspired by a text-retrieval tec...
ENTCS
2008
14 years 12 months ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...