2012 search results - page 82 / 403 » CORAL - Control, Relations and Logic |
167
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Conditional Random Fields (CRFs) provide a powerful instrument for labeling sequences. So far, however, CRFs have only been considered for labeling sequences over flat al...
126
click to vote
DATESO
2004
15 years 7 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
131
click to vote
JAIR
2011
15 years 1 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
140
click to vote
WLP
1997
Springer
15 years 10 months ago
1997
Springer
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...
183
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...