Sciweavers

16616 search results - page 262 / 3324
» Extending Extended Vacuity
Sort
View
IBMSJ
2002
47views more  IBMSJ 2002»
15 years 6 months ago
Extending the concept of transaction compensation
Mandy Chessell, Catherine Griffin, David Vines, Mi...
IJON
2002
103views more  IJON 2002»
15 years 6 months ago
RBF networks training using a dual extended Kalman filter
: A new supervised learning procedure for training RBF networks is proposed. It uses a pair of parallel running Kalman filters to sequentially update both the output weights and th...
Iulian B. Ciocoiu
IGPL
1998
127views more  IGPL 1998»
15 years 6 months ago
An Analysis of (Linear) Exponentials Based on Extended Sequents
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
Stefano Guerrini, Simone Martini, Andrea Masini