1527 search results - page 104 / 306 » Demographic information flows |
172
click to vote
MSCS
2006
15 years 4 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
124
click to vote
DSS
2000
15 years 4 months ago
2000
This paper describes novel market-based technologies that uniquely establish quantifiable and adjustable limits on the power of attackers, enable verifiable accountability for mal...
139
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Understanding and analyzing complex volumetrically varying data is a difficult problem. Many computational visualization techniques have had only limited success in succinctly po...
155
click to vote
AAAI
2008
15 years 6 months ago
2008
Online services such as web search, news portals, and ecommerce applications face the challenge of providing highquality experiences to a large, heterogeneous user base. Recent ef...
133
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
A digital video library of over 900 hours of video and 18000 stories from The HistoryMakers was used by 266 students, faculty, librarians, and life-long learners interacting with ...