4325 search results - page 489 / 865 » Incremental computation with names |
296
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a new statistical model, named Hierarchical Topic Trajectory Model (HTTM), for acquiring a dynamically changing topic model that represents the relationship between vid...
204
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
178
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
We reveal that the Okapi BM25 retrieval function tends to overly penalize very long documents. To address this problem, we present a simple yet effective extension of BM25, namel...
201
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
A sequence fn(q) is q-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in q and qn . Our main theorem states that q-holonomicity is preserve...
180
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Computer science faculty must attract and retain students by offering innovative courses that spark student interest, yet still teach core, computer science concepts. These effort...