Sciweavers

4353 search results - page 318 / 871
» Expressiveness of Process Algebras
Sort
View
LADS
2007
Springer
16 years 26 days ago
Probabilistic and Logical Beliefs
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...
John W. Lloyd, Kee Siong Ng
ORL
2006
64views more  ORL 2006»
15 years 6 months ago
Optimal prices for finite capacity queueing systems
We prove a lower bound on the optimal price for a fairly large class of blocking systems with general arrival and service processes, determine optimal price expressions for M/M/1/...
Serhan Ziya, Hayriye Ayhan, Robert D. Foley
SSDBM
2009
IEEE
166views Database» more  SSDBM 2009»
16 years 1 months ago
Design and Implementation of Metadata System in PetaShare
As the size of scientific and commercial datasets grows, it becomes imperative that an expressive metadata framework to be developed to facilitate access to the semantics of the d...
Xinqi Wang, Tevfik Kosar
IAT
2006
IEEE
16 years 23 days ago
Retaining Semantics in Relational Databases by Mapping them to RDF
Across various domains, the relational model for databases is employed extensively for the purpose of storing, managing and retrieving data. The translation, however, of data mode...
Madhav Krishna
PKC
1998
Springer
126views Cryptology» more  PKC 1998»
15 years 11 months ago
Certifying Trust
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...
Ilari Lehti, Pekka Nikander