652 search results - page 21 / 131 » Linear Explicit Substitutions |
NPL
2002
13 years 7 months ago
2002
The `kernel approach' has attracted great attention with the development of support vector machine (SVM) and has been studied in a general way. It offers an alternative soluti...
IANDC
2010
13 years 6 months ago
2010
Inspired by the classical theory of modules over a monoid, we introduce the natural notion of module over a monad. The associated notion of morphism of left modules (”linear” n...
SCP
2011
13 years 2 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
WCE
2007
13 years 8 months ago
2007
A non-symmetric matrix splitting is presented for the solution of certain sparse linear systems. The author reports the comparison and the convergence performance of the previous a...
DATE
2003
IEEE
14 years 25 days ago
2003
IEEE
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...