4325 search results - page 568 / 865 » Incremental computation with names |
198
click to vote
FAC
2010
15 years 4 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
214
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
This paper explores correspondence and mixture topic modeling of documents tagged from two different perspectives. There has been ongoing work in topic modeling of documents with...
238
click to vote
STOC
2012
ACM
13 years 9 months ago
2012
ACM
We develop a game-theoretic framework for the study of competition between firms who have budgets to “seed” the initial adoption of their products by consumers located in a s...
210
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Feature misalignment in object detection refers to
the phenomenon that features which re up in some
positive detection windows do not re up in other pos-
itive detection windo...
191
Voted
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We investigate the problem of automatically labelling
faces of characters in TV or movie material with their
names, using only weak supervision from automaticallyaligned
subtitl...