Sciweavers

2036 search results - page 49 / 408
» A generic type-and-effect system
Sort
View
94
Voted
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 4 months ago
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
Volker Haarslev, Michael Wessel
123
Voted
INCDM
2010
Springer
251views Data Mining» more  INCDM 2010»
15 years 4 months ago
Multi-Agent Based Clustering: Towards Generic Multi-Agent Data Mining
Abstract. A framework for Multi Agent Data Mining (MADM) is described. The framework comprises a collection of agents cooperating to address given data mining tasks. The fundamenta...
Santhana Chaimontree, Katie Atkinson, Frans Coenen
98
Voted
WCE
2007
15 years 1 months ago
Adaptive Automata Community Detection and Clustering: A generic methodology
— We present in this paper a generic methodology based on genetic automata for modelling community detection. With Communities, we deal with dynamic organizations which are self-...
Rawan Ghnemat, Cyrille Bertelle, Gérard Hen...
112
Voted
JODL
2008
175views more  JODL 2008»
15 years 15 days ago
ALOCOM: a generic content model for learning objects
e-Learning organizations are focusing heavily on learning content reusability. The ultimate objective is a learning object economy characterized by searchable digital libraries of ...
Katrien Verbert, Erik Duval
121
Voted
CORR
2011
Springer
222views Education» more  CORR 2011»
14 years 7 months ago
Generic Trace Logics
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
Christian Kissig, Alexander Kurz