3838 search results - page 23 / 768 » Techniques for Optimization of Net Algorithms |
114
click to vote
APN
2001
Springer
15 years 8 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...
121
Voted
SPLC
2008
15 years 4 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...
171
Voted
PPOPP
2011
ACM
14 years 6 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...
159
click to vote
ACSD
2008
IEEE
15 years 5 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...
142
Voted
IICAI
2003
15 years 4 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...