7452 search results - page 1162 / 1491 » A Semantics for Multiprocessor Systems |
218
click to vote
TABLEAUX
2005
Springer
16 years 1 months 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...
169
click to vote
TACAS
2005
Springer
16 years 1 months 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...
201
click to vote
WEBDB
2005
Springer
16 years 1 months 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...
179
Voted
WEBI
2005
Springer
16 years 1 months 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...
237
Voted
MM
2004
ACM
16 years 29 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...