3134 search results - page 358 / 627 » Computing full disjunctions |
104
click to vote
HIPEAC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Publish-subscribe systems present the state of the art in information dissemination to multiple users. Such systems have evolved from simple topic-based to the current XM...
71
Voted
APGV
2010
ACM
15 years 4 months ago
2010
ACM
The dynamic range of the human visual system should be an important parameter in the design of high dynamic range (HDR) display devices. A good display should at least approximate...
105
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
102
Voted
ESA
2007
Springer
15 years 4 months ago
2007
Springer
A token is hidden in one out of n boxes following some known probability distribution and then all the boxes are locked. The goal of a searcher is to find the token in at most D n...