1941 search results - page 311 / 389 » Reasoning about Computations Using Two-Levels of Logic |
147
click to vote
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
129
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
126
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
This paper presents an adaptative algorithm for the segmentation of color images suited for document image analysis. The algorithm is based on a serialization of the k-means algor...
144
Voted
CADE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
152
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...