2869 search results - page 239 / 574 » The Inference Problem: A Survey |
208
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We consider an extension of bi-intuitionistic logic with the traditional modalities , , and from tense logic Kt. Proof theoretically, this extension is obtained simply by extendin...
177
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a system, Mr.Web, designed to interact with users over email to create and update Web pages. Our goal is that users interact with Mr.Web as if it were a human...
318
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Peer-to-peer (p2p) systems are attracting increasing attention as an efficient means of sharing data among large, diverse and dynamic sets of users. The widespread use of XML as a...
189
click to vote
BCI
2009
IEEE
16 years 2 months ago
2009
IEEE
—Efficient management of massive data sets is a key aspect in typical grid and e-science applications. To this end, the benefits of employing database technologies in such appl...
228
click to vote
ISBI
2009
IEEE
16 years 2 months ago
2009
IEEE
One of the main challenges for Content-Based Image Retrieval (CBIR) is to achieve meaningful mappings between the high-level semantic concepts and the low-level visual features in...