5326 search results - page 54 / 1066 » On what we can ensure |
96
Voted
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
116
Voted
AGP
1994
IEEE
15 years 4 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
93
Voted
ACRI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we develop an artificial world model to investigate how environmental conditions affect opportunities for learning. We model grouping entities that learn wh...
92
Voted
EVOW
2009
Springer
15 years 7 months ago
2009
Springer
This paper advances new methods for ecosystemic approaches to evolutionary music and art. We explore the biological concept of the niche and its role in evolutionary dynamics, appl...
104
Voted
DAARC
2007
Springer
15 years 6 months ago
2007
Springer
Papers discussing anaphora resolution algorithms or systems usually focus on the intrinsic evaluation of the algorithm/system and not on the issue of extrinsic evaluation. In the c...