3424 search results - page 56 / 685 » Automated Testing of Classes |
162
click to vote
ECSQARU
2001
Springer
15 years 10 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...
157
click to vote
KR
2010
Springer
15 years 10 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 ...
154
click to vote
ECIR
2003
Springer
15 years 7 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...
146
click to vote
FLOPS
2001
Springer
15 years 10 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 ...
146
click to vote
POLICY
2007
Springer
16 years 3 days 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...