11455 search results - page 1925 / 2291 » The Rayset and Its Applications |
187
click to vote
CAV
2010
Springer
15 years 10 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...
140
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
166
Voted
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents a new way of thinking for IR metric optimization. It is argued that the optimal ranking problem should be factorized into two distinct yet interrelated stages:...
223
Voted
DAWAK
2009
Springer
15 years 10 months ago
2009
Springer
Data warehousing involves complex processes that transform source data through several stages to deliver suitable information ready to be analysed. Though many techniques for visua...
166
Voted
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Several aspects of secure operating systems have been analyzed and described as security patterns. However, existing patterns do not cover explicitly the secure interaction of user...