1604 search results - page 268 / 321 » Development Separation in Lambda-Calculus |
DAGSTUHL
1996
13 years 9 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
IJCAI
1989
13 years 9 months ago
1989
Several published reports show that instancebased learning algorithms yield high classification accuracies and have low storage requirements during supervised learning application...
BPSC
2009
13 years 8 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
DAWAK
2010
Springer
13 years 8 months ago
2010
Springer
: Experience in Extending Query Engine for Continuous Analytics Qiming Chen, Meichun Hsu HP Laboratories HPL-2010-44 In-Database Stream Processing Combining data warehousing and s...
BMCBI
2010
13 years 7 months ago
2010
Background: Theme-driven cancer survival studies address whether the expression signature of genes related to a biological process can predict patient survival time. Although this...