2586 search results - page 40 / 518 » Automatic Abstraction for Congruences |
TIDSE
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. The Virtual Storyteller is a multi-agent framework for automatic story generation. In this paper we describe how plots emerge from the actions of semi-autonomous characte...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper presents a practical automatic verification procedure for proving linearizability (i.e., atomicity and functional correctness) of concurrent data structure im...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This work reports baseline results for the CLEF 2008 Medical Automatic Annotation Task (MAAT) by applying a classifier with a fixed parameter set to all tasks 2005
CORR
2000
Springer
13 years 7 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
PPAM
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Replication methods can be used for shortening the data access time in Grid environment with heterogeneous storage resources. In this paper we describe the algorithms for...