Sciweavers

493 search results - page 44 / 99
» Petri nets design based on neural networks
Sort
View
103
Voted
VL
1996
IEEE
123views Visual Languages» more  VL 1996»
15 years 6 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
PKDD
2010
Springer
193views Data Mining» more  PKDD 2010»
15 years 10 days ago
Process Mining Meets Abstract Interpretation
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
Josep Carmona, Jordi Cortadella
IR
2002
15 years 1 months ago
Hierarchical Text Categorization Using Neural Networks
This paper presents the design and evaluation of a text categorization method based on the Hierarchical Mixture of Experts model. This model uses a divide and conquer principle to ...
Miguel E. Ruiz, Padmini Srinivasan
HYBRID
2010
Springer
15 years 7 months ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
ISCAS
2007
IEEE
122views Hardware» more  ISCAS 2007»
15 years 8 months ago
Neuromimetic ICs with analog cores: an alternative for simulating spiking neural networks
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
Sylvie Renaud, Jean Tomas, Yannick Bornat, Adel Da...