Sciweavers

2701 search results - page 174 / 541
» On the form of witness terms
Sort
View
SIGIR
2008
ACM
15 years 6 months ago
Compressed collections for simulated crawling
Collections are a fundamental tool for reproducible evaluation of information retrieval techniques. We describe a new method for distributing the document lengths and term counts ...
Alessio Orlandi, Sebastiano Vigna
SIGMETRICS
2008
ACM
15 years 6 months ago
Network distance estimation with dynamic landmark triangles
This paper describes an efficient and accurate approach to estimate the network distance between arbitrary Internet hosts. We use three landmark hosts forming a triangle in two-di...
Zhihua Wen, Michael Rabinovich
IMDS
2007
92views more  IMDS 2007»
15 years 6 months ago
Cross-generational knowledge flows in edge organizations
As the graying workforce increases and the work patterns of our younger workers are more mobile, knowledge retention, attrition, and transfer become key determinants of the longev...
Jay Liebowitz, Nirmala Ayyavoo, Hang Nguyen, Debor...
TCS
2008
15 years 6 months ago
The weak lambda calculus as a reasonable machine
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
Ugo Dal Lago, Simone Martini
TSMC
2008
79views more  TSMC 2008»
15 years 6 months ago
Issues on Stability of ADP Feedback Controllers for Dynamical Systems
Abstract--This paper traces the development of neuralnetwork (NN)-based feedback controllers that are derived from the principle of adaptive/approximate dynamic programming (ADP) a...
S. N. Balakrishnan, Jie Ding, Frank L. Lewis