7452 search results - page 1162 / 1491 » A Semantics for Multiprocessor Systems |
190
click to vote
TABLEAUX
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
152
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
185
click to vote
WEBDB
2005
Springer
16 years 7 days ago
2005
Springer
Current peer-to-peer (p2p) full-text keyword search techniques fall into the following categories: document-based partitioning, keyword-based partitioning, hybrid indexing, and se...
160
click to vote
WEBI
2005
Springer
16 years 7 days ago
2005
Springer
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
211
click to vote
MM
2004
ACM
16 years 5 days ago
2004
ACM
The recent popularity of mobile camera phones allows for new opportunities to gather important metadata at the point of capture. This paper describes a method for generating metad...