602 search results - page 56 / 121 » Recursive in A Generic Real |
FGCS
2008
13 years 7 months ago
2008
In this paper, we describe a Service-Oriented Architecture allowing the optimization of the execution of service workflows. We discuss the advantages of the serviceoriented approa...
BIS
2009
13 years 5 months ago
2009
Abstract. Knowledge based systems improve information interoperability, integration, and knowledge management. Consequently, there is envisioned a set of the associated business be...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
ICS
2007
Tsinghua U.
14 years 1 months ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
Book
"The world of science and engineering is filled with signals: images from remote space probes, voltages generated by the heart and brain, radar and sonar echoes, seismic vibra...