509 search results - page 39 / 102 » Standardization and Testing of Mathematical Functions |
POPL
2010
ACM
14 years 7 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
ITCC
2005
IEEE
14 years 3 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
– We have developed and tested a novel artificial neural network for the processing of temporal signals. The working of the units (TempUnit) is based on the mechanism of temporal...
AHS
2007
IEEE
13 years 10 months ago
2007
IEEE
This paper is concerned with application of standard wireless COTS protocols to space. Suitability of commercially available wireless sensor mote kits for communication inside and...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...