Sciweavers

2608 search results - page 329 / 522
» Inferring Answers to Queries
Sort
View
DEXAW
2005
IEEE
132views Database» more  DEXAW 2005»
16 years 6 days ago
Information Integration from Semantically Heterogeneous Biological Data Sources
We present the first prototype of INDUS (Intelligent Data Understanding System), a federated, query-centric system for information integration and knowledge acquisition from dist...
Doina Caragea, Jie Bao, Jyotishman Pathak, Adrian ...
SIGMETRICS
2005
ACM
16 years 4 days ago
On the use of anycast in DNS
We present the initial results from our evaluation study on the performance implications of anycast in DNS, using four anycast servers deployed at top-level DNS zones. Our results...
Sandeep Sarat, Vasileios Pappas, Andreas Terzis
APWEB
2005
Springer
16 years 3 days ago
Using Probabilistic Latent Semantic Analysis for Personalized Web Search
Web users use search engine to find useful information on the Internet. However current web search engines return answer to a query independent of specific user information need. S...
Chenxi Lin, Gui-Rong Xue, Hua-Jun Zeng, Yong Yu
CAV
2005
Springer
99views Hardware» more  CAV 2005»
16 years 3 days ago
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd,...
TLCA
2005
Springer
16 years 1 days ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...