3239 search results - page 291 / 648 » A Logical Process Calculus |
163
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
156
click to vote
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...
127
Voted
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
The paper presents a prototype of a system for querying the Web in natural language (French) for a limited domain. The domain knowledge, represented in description logics (DL), is ...
165
click to vote
IPPS
1997
IEEE
15 years 9 months ago
1997
IEEE
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...
138
click to vote
COMPSAC
1996
IEEE
15 years 9 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...