6527 search results - page 950 / 1306 » On Typing Information Flow |
280
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We consider the problem of revenue-optimal dynamic mechanism design in settings where agents' types evolve over time as a function of their (both public and private) experien...
224
click to vote
CIVR
2010
Springer
15 years 5 months ago
2010
Springer
The automatic detection of near duplicate video segments, such as multiple takes of a scene or different news video clips showing the same event, has received growing research int...
255
click to vote
UAIS
2010
15 years 2 months ago
2010
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
238
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
261
click to vote
WSDM
2012
ACM
14 years 3 months ago
2012
ACM
Traditionally, research about trust assumes a single type of trust between users. However, trust, as a social concept, inherently has many facets indicating multiple and heterogen...