Sciweavers

720 search results - page 119 / 144
» Incremental XPath evaluation
Sort
View
IAJIT
2008
134views more  IAJIT 2008»
13 years 8 months ago
A Dynamic Traffic Shaping Technique for a Scalable QoS in ATM Networks
: Traffic shaping function becomes imperative for the new broadband services that are being deployed in order to avoid information loss, to provide the end users multiple traffic o...
Francis Joseph Ogwu, Mohammad Talib, Ganiyu Aderou...
SAC
2006
ACM
13 years 8 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
SIGKDD
2008
138views more  SIGKDD 2008»
13 years 8 months ago
Learning preferences of new users in recommender systems: an information theoretic approach
Recommender systems are a nice tool to help nd items of interest from an overwhelming number of available items. Collaborative Filtering (CF), the best known technology for recomme...
Al Mamunur Rashid, George Karypis, John Riedl
JANCL
2002
121views more  JANCL 2002»
13 years 8 months ago
Approximate coherence-based reasoning
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
Frédéric Koriche
ICDCN
2010
Springer
13 years 7 months ago
K-Directory Community: Reliable Service Discovery in MANET
Abstract. Service discovery in MANET suffers from frequent service unavailability due to failures of service providers or directory nodes. Ensuring network-wide service availabilit...
Vaskar Raychoudhury, Jiannong Cao, Weigang Wu, Yi ...