Sciweavers

493 search results - page 18 / 99
» Petri nets design based on neural networks
Sort
View
ATAL
2005
Springer
15 years 7 months ago
Multi-agent concepts as basis for dynamic plug-in software architectures
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
IJCNN
2007
IEEE
15 years 8 months ago
Evolving a Neural Net-Based Decision and Search Heuristic for DPLL SAT Solvers
— Solvers for the Boolean satisfiability problem are an important base technology for many applications. The most efficient SAT solvers for industrial applications are based on...
Raihan H. Kibria
PERCOM
2006
ACM
16 years 1 months ago
Deterministic and Probabilistic Implementation of Context
This paper addresses the problem of implementing an context model. First, the abstract context model is represented by a network of situations. Two different implementations for t...
Oliver Brdiczka, Dominique Vaufreydaz, Jér&...
107
Voted
DATE
2006
IEEE
117views Hardware» more  DATE 2006»
15 years 8 months ago
Formal verification of systemc designs using a petri-net based representation
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
Daniel Karlsson, Petru Eles, Zebo Peng
ESANN
2006
15 years 3 months ago
Optimal design of hierarchical wavelet networks for time-series forecasting
The purpose of this study is to identify the Hierarchical Wavelet Neural Networks (HWNN) and select important input features for each sub-wavelet neural network automatically. Base...
Yuehui Chen, Bo Yang, Ajith Abraham