Sciweavers

1662 search results - page 148 / 333
» Privately Finding Specifications
Sort
View
129
Voted
AAAI
1996
15 years 5 months ago
The ContactFinder Agent: Answering Bulletin Board Questions with Referrals
ContactFinder is an intelligent agent whose approach to assisting users is valuable and innovative in the following four ways. First, ContactFinder operates proactively in reading...
Bruce Krulwich, Chad Burkey
136
Voted
ATAL
2010
Springer
15 years 4 months ago
A game-theoretic analysis of market selection strategies for competing double auction marketplaces
In this paper, we propose a novel general framework for analysing competing double auction markets that vie for traders, who then need to choose which market to go to. Based on th...
Bing Shi, Enrico H. Gerding, Perukrishnen Vyteling...
110
Voted
BMCBI
2008
93views more  BMCBI 2008»
15 years 3 months ago
VirulentPred: a SVM based prediction method for virulent proteins in bacterial pathogens
Background: Prediction of bacterial virulent protein sequences has implications for identification and characterization of novel virulence-associated factors, finding novel drug/v...
Aarti Garg, Dinesh Gupta
FAC
2008
80views more  FAC 2008»
15 years 3 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
108
Voted
CCR
2006
82views more  CCR 2006»
15 years 3 months ago
The internet AS-level topology: three data sources and one definitive metric
We calculate an extensive set of characteristics for Internet AS topologies extracted from the three data sources most frequently used by the research community: traceroutes, BGP,...
Priya Mahadevan, Dmitri V. Krioukov, Marina Fomenk...