1941 search results - page 351 / 389 » Reasoning about Computations Using Two-Levels of Logic |
104
click to vote
ENTCS
2006
14 years 12 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
102
click to vote
CRYPTO
2009
Springer
15 years 6 months ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...