3909 search results - page 657 / 782 » Extreme Model Checking |
180
click to vote
JELIA
2010
Springer
15 years 4 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...
152
click to vote
ASIACRYPT
2010
Springer
15 years 4 months 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...
210
click to vote
CAIP
2009
Springer
15 years 4 months 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...
209
click to vote
CVPR
2011
IEEE
15 years 1 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...
189
click to vote
BMCBI
2011
15 years 1 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...