3909 search results - page 657 / 782 » Extreme Model Checking |
131
Voted
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
109
click to vote
ASIACRYPT
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. AES is the most widely used block cipher today, and its security is one of the most important issues in cryptanalysis. After 13 years of analysis, related-key attacks wer...
159
click to vote
CAIP
2009
Springer
15 years 12 days ago
2009
Springer
This paper describes a method for seamless enlargement or editing of difficult colour textures containing simultaneously both regular periodic and stochastic components. Such textu...
153
Voted
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Representing articulated objects as a graphical model has gained much popularity in recent years, often the root node of the graph describes the global position and orientation of...
140
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: With continuing identification of novel structured noncoding RNAs, there is an increasing need to create schematic diagrams showing the consensus features of these mol...