186 search results - page 24 / 38 » Decidable Extensions of Church's Problem |
CSE
2009
IEEE
14 years 4 months ago
2009
IEEE
Interobserver reliability and reproducibility are well known problems in experimental research within the social and behavioural sciences. We propose the use of formal techniques ...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Creating coordinated multiagent policies in environments with uncertainty is a challenging problem, which can be greatly simplified if the coordination needs are known to be limi...
DEXA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper proposes a natural extension of conditional functional dependencies (cfds [14]) and conditional inclusion dependencies (cinds [8]), denoted by cfdp s and cindp...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
ICDT
2005
ACM
14 years 3 months ago
2005
ACM
We study the problem of rewriting queries using views in the presence of access patterns, integrity constraints, disjunction, and negation. We provide asymptotically optimal algori...