Sciweavers

421 search results - page 54 / 85
» Answering Queries Using Cooperative Semantic Caching
Sort
View
IS
2006
13 years 11 months ago
A proof markup language for Semantic Web services
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
Paulo Pinheiro da Silva, Deborah L. McGuinness, Ri...
OTM
2007
Springer
14 years 5 months ago
Fuzzy-DL Reasoning over Unknown Fuzzy Degrees
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
Stasinos Konstantopoulos, Georgios Apostolikas
POPL
2008
ACM
14 years 11 months ago
Demand-driven alias analysis for C
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
Xin Zheng, Radu Rugina
SEMCO
2008
IEEE
14 years 5 months ago
TcruziKB: Enabling Complex Queries for Genomic Data Exploration
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
Pablo N. Mendes, Bobby McKnight, Amit P. Sheth, Je...
ICDT
2003
ACM
132views Database» more  ICDT 2003»
14 years 4 months ago
Probabilistic Interval XML
Interest in XML databases has been growing over the last few years. In this paper, we study the problem of incorporating probabilistic information into XML databases. We propose th...
Edward Hung, Lise Getoor, V. S. Subrahmanian