2989 search results - page 59 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ICML
2002
IEEE
15 years 10 months ago
2002
IEEE
We present two results which arise from a model-based approach to hierarchical agglomerative clustering. First, we show formally that the common heuristic agglomerative clustering...
SAS
2007
Springer
15 years 3 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
MOC
2010
14 years 4 months ago
2010
This paper could have been given the title: "How to positively and implicitly solve Euler equations using only linear scalar advections." The new relaxation method we pr...
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
We introduce a new method to estimate the Java object activity in a distributed context of irregular applications. This method uses an observation mechanism which is itself a part...