8838 search results - page 71 / 1768 » Generalizing Domain Theory |
143
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
134
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
122
click to vote
AAAI
2010
15 years 5 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
125
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure ...
86
Voted
CVPR
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose an approach to find and describe objects within broad domains. We introduce a new dataset that provides annotation for sharing models of appearance and correlation acr...