210 search results - page 12 / 42 » Presenting Functors by Operations and Equations |
204
click to vote
PCS
2011
14 years 11 months ago
2011
The purpose of this paper is twofold. An immediate practical use of the presented algorithm is its applicability to the parametric solution of underdetermined linear ordinary di...
115
Voted
SIAMSC
2010
15 years 2 months ago
2010
A significant amount of the computational time in large Monte Carlo simulations of lattice field theory is spent inverting the discrete Dirac operator. Unfortunately, traditional...
105
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
−−−− A comprehensive analytical study of high-frequency regenerative frequency dividers (RFD) is presented. The study includes two fundamental modes of operation in RFDs, n...
131
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
130
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— We provide a general approach for learning robotic motor skills from human demonstration. To represent an observed movement, a non-linear differential equation is learned such ...