Sciweavers

4498 search results - page 275 / 900
» How to Invent Functions
Sort
View
ANSOFT
2002
100views more  ANSOFT 2002»
15 years 4 months ago
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
APIN
2002
80views more  APIN 2002»
15 years 4 months ago
Searching a Scalable Approach to Cerebellar Based Control
Decades of research into the structure and function of the cerebellum have led to a clear understanding of many of its cells, as well as how learning might take place. Furthermore...
Jan Peters, P. Patrick van der Smagt
ENTCS
2002
90views more  ENTCS 2002»
15 years 4 months ago
Refactoring in maintenance and development of Z specifications
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
Susan Stepney, Fiona Polack, Ian Toyn
SIAMJO
2000
76views more  SIAMJO 2000»
15 years 4 months ago
Superlinear Convergence and Implicit Filtering
In this note we show how the implicit filtering algorithm can be coupled with the BFGS quasi-Newton update to obtain a superlinearly convergent iteration if the noise in the object...
T. D. Choi, C. T. Kelley
CORR
1999
Springer
120views Education» more  CORR 1999»
15 years 4 months ago
Competition and cooperation: Libraries and publishers in the transition to electronic scholarly journals
The conversion of scholarly journals to digital format is proceeding rapidly, especially of those from large commercial and learned society publishers. This conversion offers the ...
Andrew M. Odlyzko