4192 search results - page 648 / 839 » Probabilistic Logic Programming |
172
Voted
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
133
Voted
SEMCO
2007
IEEE
15 years 9 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
125
click to vote
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
144
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
145
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...