3239 search results - page 316 / 648 » A Logical Process Calculus |
145
Voted
ER
2007
Springer
15 years 8 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
136
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
121
click to vote
ISSA
2008
15 years 6 months ago
2008
A message digest is a fixed length output produced by applying a cryptographic algorithm on input binary data of arbitrary length. If the input data changes even by one bit, the g...
155
click to vote
JAIR
2007
15 years 4 months ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
139
click to vote
JASIS
2000
15 years 4 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...