2916 search results - page 418 / 584 » Generating Rule Sets from Model Trees |
133
Voted
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
In object oriented programming, it is sometimes necessary to copy objects and to compare them for equality or inequality. We discuss some of the issues involved in copying and comp...
141
Voted
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
158
click to vote
SP
2010
IEEE
15 years 2 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
174
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is tra...
140
Voted
JMLR
2010
14 years 11 months ago
2010
We consider the Bellman residual minimization approach for solving discounted Markov decision problems, where we assume that a generative model of the dynamics and rewards is avai...