4211 search results - page 593 / 843 » Types as Abstract Interpretations |
159
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a new semantic relatedness measure on semantic networks (SN) that uses both hierarchical and non-hierarchical relations. Our approach relies on two as...
164
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
189
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems a...
160
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we propose three small instances of a reconfigurable circuit and analyze their properties using the brute force method and evolutionary algorithm. Although ...
194
click to vote
ADMI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...