Sciweavers

2830 search results - page 281 / 566
» No Science without Semantics
Sort
View
ECIR
2009
Springer
16 years 3 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 3 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»
16 years 1 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
16 years 1 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
16 years 1 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