3838 search results - page 23 / 768 » Techniques for Optimization of Net Algorithms |
91
Voted
APN
2001
Springer
15 years 5 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
98
Voted
SPLC
2008
15 years 1 months ago
2008
Software Product-lines (SPLs) use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method...
136
click to vote
PPOPP
2011
ACM
14 years 3 months ago
2011
ACM
The sparse grid discretization technique enables a compressed representation of higher-dimensional functions. In its original form, it relies heavily on recursion and complex data...
132
Voted
ACSD
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...
115
click to vote
IICAI
2003
15 years 1 months ago
2003
Abstract. We present the Acyclic Bayesian Net Generator, a new approach to learn the structure of a Bayesian network using genetic algorithms. Due to the encoding mechanism, acycli...