4814 search results - page 102 / 963 » Combining abstract interpreters |
135
click to vote
AAMAS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper we present a meta strategy that combines two negotiation tactics. The first one based on concessions, and the second one, a trade-off tactic. The goal of th...
284
Voted
ACOM
2006
Springer
15 years 11 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...
137
click to vote
CMMR
2004
Springer
15 years 11 months 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 ...
162
click to vote
PARA
2004
Springer
2004
Springer
A Combined Linear and Nonlinear Preconditioning Technique for Incompressible Navier-Stokes Equations
15 years 11 months 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...
137
click to vote
XPU
2004
Springer
15 years 11 months 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...