Sciweavers

2830 search results - page 281 / 566
» No Science without Semantics
Sort
View
135
Voted
ECIR
2009
Springer
16 years 1 months ago
Regression Rank: Learning to Meet the Opportunity of Descriptive Queries
Abstract. We present a new learning to rank framework for estimating context-sensitive term weights without use of feedback. Specifically, knowledge of effective term weights on ...
Matthew Lease, James Allan, W. Bruce Croft
ICDCS
2009
IEEE
16 years 1 months ago
A Commutative Replicated Data Type for Cooperative Editing
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...
Nuno M. Preguiça, Joan Manuel Marquè...
HICSS
2009
IEEE
90views Biometrics» more  HICSS 2009»
15 years 11 months ago
Retrospective Cued Recall: A Method for Accurately Recalling Previous User Behaviors
A common problem in many user studies is gathering natural user behavior unintrusively over a long period of time. We describe a methodology for conducting passive longitudinal st...
Daniel M. Russell, Mike Oren
EMS
2009
IEEE
15 years 11 months ago
Modelling Periodic Data Dissemination in Wireless Sensor Networks
—Epidemic-based communications, or “gossiping”, provides a robust and scalable method for maintaining a knowledge base in a sensor network faced with an unpredictable network...
Graham Williamson, Davide Cellai, Simon A. Dobson,...
LICS
2009
IEEE
15 years 11 months ago
Logical Step-Indexed Logical Relations
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
Derek Dreyer, Amal Ahmed, Lars Birkedal