3831 search results - page 565 / 767 » Dynamic Context Logic |
139
click to vote
JAIR
2010
15 years 2 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
114
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
156
click to vote
FORTE
2009
15 years 2 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
150
click to vote
IFIP
2009
Springer
15 years 2 months ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
154
click to vote
CVPR
2011
IEEE
15 years 21 days ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...