Sciweavers

2036 search results - page 49 / 408
» A generic type-and-effect system
Sort
View
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 8 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
INCDM
2010
Springer
251views Data Mining» more  INCDM 2010»
15 years 8 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
WCE
2007
15 years 5 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...
JODL
2008
175views more  JODL 2008»
15 years 4 months 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
CORR
2011
Springer
222views Education» more  CORR 2011»
14 years 11 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