3424 search results - page 56 / 685 » Automated Testing of Classes |
125
click to vote
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Finding optimal policies for general partially observable Markov decision processes (POMDPs) is computationally difficult primarily due to the need to perform dynamic-pr...
115
Voted
KR
2010
Springer
15 years 7 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
115
Voted
ECIR
2003
Springer
15 years 4 months ago
2003
Springer
This paper describes a new method for the classification of a HTML document into a hierarchy of categories. The hierarchy of categories is involved in all phases of automated docum...
117
click to vote
FLOPS
2001
Springer
15 years 7 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
112
Voted
POLICY
2007
Springer
15 years 8 months ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...