19 search results - page 1 / 4 » The First-Order Theory of Ordering Constraints over Feature ... |
LICS
1998
IEEE
13 years 9 months ago
1998
IEEE
CSCLP
2006
Springer
13 years 8 months ago
2006
Springer
LICS
2006
IEEE
13 years 10 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
ILP
2004
Springer
13 years 10 months ago
2004
Springer
Random forest induction is a bagging method that randomly samples the feature set at each node in a decision tree. In propositional learning, the method has been shown to work well...