Sciweavers

563 search results - page 11 / 113
» A Typing Scheme for Behavioural Models
Sort
View
ECCV
2002
Springer
14 years 10 months ago
The Relevance of Non-generic Events in Scale Space Models
In order to investigate the deep structure of Gaussian scale space images, one needs to understand the behaviour of spatial critical points under the influence of blurring. We sho...
Arjan Kuijper, Luc Florack
SAS
2007
Springer
125views Formal Methods» more  SAS 2007»
14 years 2 months ago
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Kh...
ADVCS
2010
106views more  ADVCS 2010»
13 years 8 months ago
'What did You Say?' Emergent Communication in a Multi-Agent Spatial Configuration
This paper reports the results of a multi-agent simulation designed to study the emergence and evolution of symbolic communication. The novelty of this model is that it considers s...
Elio Marchione, Mauricio Salgado, Nigel Gilbert
ECOOP
2005
Springer
14 years 2 months ago
Chai: Traits for Java-Like Languages
Traits support the factoring out of common behaviour, and its integration into classes in a manner that coexists smoothly with inheritance-based structuring mechanisms. We designed...
Charles Smith, Sophia Drossopoulou
PPL
2008
75views more  PPL 2008»
13 years 8 months ago
Modeling the Performance of Communication Schemes on Network Topologies
This paper investigates the influence of the interconnection network topology of a parallel system on the delivery time of an ensemble of messages, called the communication scheme...
Jan Lemeire, Erik F. Dirkx, Walter Colitti