2940 search results - page 362 / 588 » Relational Parametricity and Control |
173
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
185
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this article we present EANT2, a method that creates neural networks (NNs) by evolutionary reinforcement learning. The structure of NNs is developed using mutation ope...
152
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Application scenarios for mobile ad-hoc networks (MANETs) impose a variety of non-standard security requirements. furthermore, in many scenarios owner and user of devices do not a...
192
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
In earlier work, we have shown that for confluent term rewrite systems (TRSs for short), innermost polynomial runtime complexity induces polytime computability of the functions de...
143
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Several studies have found that the Cranfield approach to evaluation can report significant performance differences between retrieval systems for which little to no performance...