Sciweavers

1236 search results - page 121 / 248
» Efficient Interpretation Policies
Sort
View
MICS
2008
87views more  MICS 2008»
13 years 9 months ago
Spurious Disambiguation Errors and How to Get Rid of Them
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical n...
Claudio Sacerdoti Coen, Stefano Zacchiroli
CIKM
2010
Springer
13 years 8 months ago
Discovery of numerous specific topics via term co-occurrence analysis
We describe efficient techniques for construction of large term co-occurrence graphs, and investigate an application to the discovery of numerous fine-grained (specific) topics. A...
Omid Madani, Jiye Yu
PPDP
2010
Springer
13 years 8 months ago
Towards a jitting VM for prolog execution
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...
Carl Friedrich Bolz, Michael Leuschel, David Schne...
ICDM
2009
IEEE
188views Data Mining» more  ICDM 2009»
13 years 7 months ago
Binomial Matrix Factorization for Discrete Collaborative Filtering
Matrix factorization (MF) models have proved efficient and well scalable for collaborative filtering (CF) problems. Many researchers also present the probabilistic interpretation o...
Jinlong Wu
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
14 years 11 months ago
Venn Sampling: A Novel Prediction Technique for Moving Objects
Given a region qR and a future timestamp qT, a "range aggregate" query estimates the number of objects expected to appear in qR at time qT. Currently the only methods fo...
Yufei Tao, Dimitris Papadias, Jian Zhai, Qing Li