Sciweavers

4767 search results - page 415 / 954
» Structures for Abstract Rewriting
Sort
View
IWEC
2010
15 years 5 months ago
Analyzing the Parameters of Prey-Predator Models for Simulation Games
Abstract—We describe and analyze emergent behavior and its effect for a class of preypredators’ simulation models. The simulation uses rule-based agent behavior and follows a p...
Seongdong Kim, Christoph Hoffmann, Varun Ramachand...
MLQ
2010
124views more  MLQ 2010»
15 years 5 months ago
Countably categorical coloured linear orders
Abstract. In this paper, we give a classification of (finite or countable) ℵ0categorical coloured linear orders, generalizing Rosenstein’s characterization of ℵ0-categorica...
Feresiano Mwesigye, John K. Truss
TCSB
2010
15 years 5 months ago
Modelling Self-assembly in BlenX
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
Roberto Larcher, Corrado Priami, Alessandro Romane...
USAB
2010
15 years 5 months ago
Scene Segmentation in Artistic Archive Documentaries
Abstract. Scene segmentation is a crucial task in the structural analysis of film. State-of-the-art scene segmentation algorithms usually target fiction films (e.g. Hollywood ...
Dalibor Mitrovic, Stefan Hartlieb, Matthias Zeppel...
IFIPTCS
2010
15 years 4 months ago
Concurrent Pattern Calculus
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
Thomas Given-Wilson, Daniele Gorla, Barry Jay