3255 search results - page 11 / 651 » Combination of Abstractions in the ASTR |
FLOPS
2010
Springer
14 years 17 days ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
ACOM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper considers the combination of agent communication and ontology alignment within a group of heterogeneous agents. The agents align their ontologies by constructi...
CMMR
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. The paper concerns the use of multiple viewpoint representation schemes for prediction with statistical models of monophonic music. We present an experimental comparison ...
PARA
2004
Springer
2004
Springer
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations
14 years 25 days ago
Abstract. We propose a new two-level nonlinear additive Schwarz preconditioned inexact Newton algorithm (ASPIN). The two-level nonlinear preconditioner combines a local nonlinear a...
XPU
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...