Sciweavers

18429 search results - page 388 / 3686
» Typing dynamic typing
Sort
View
DM
1999
56views more  DM 1999»
15 years 6 months ago
Niemeier lattices and Type II codes over Z4
Alexis Bonnecaze, Philippe Gaborit, Masaaki Harada...
JFP
1998
36views more  JFP 1998»
15 years 6 months ago
Computational Types from a Logical Perspective
P. N. Benton, Gavin M. Bierman, Valeria de Paiva
JUCS
2002
93views more  JUCS 2002»
15 years 6 months ago
On the Semiautomatic Generation of WordNet Type Synsets and Clusters
: WordNet (WN) is a lexical knowledge base, first developed for English and then adopted for several Western European languages, which was created as a machinereadable dictionary b...
Florentina Hristea
MOC
2002
148views more  MOC 2002»
15 years 6 months ago
Convergence of an iterative algorithm for solving Hamilton-Jacobi type equations
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...
Jerry Markman, I. Norman Katz