1760 search results - page 67 / 352 » Program Analysis Using Weighted Pushdown Systems |
123
Voted
PADL
2005
Springer
15 years 6 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
170
click to vote
JMLR
2006
15 years 12 days ago
2006
This paper introduces a learning method for two-layer feedforward neural networks based on sensitivity analysis, which uses a linear training algorithm for each of the two layers....
90
Voted
COODBSE
1994
15 years 1 months ago
1994
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
IFIP
2007
Springer
15 years 6 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
110
click to vote
APIN
1999
15 years 4 days ago
1999
Real-world electrical engineering problems can take advantage of the last Data Analysis methodologies. In this paper we will show that Genetic Fuzzy Rule-Based Systems and Genetic ...