2576 search results - page 174 / 516 » The Complexity of Zero Knowledge |
182
Voted
CADE
1999
Springer
15 years 10 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
197
Voted
WETICE
1996
IEEE
15 years 10 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
157
Voted
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The paper provides an overview of the elaboration, testing and improvement of Movelex, a complex virtual learning environment (VLE) supporting the establishment of self-r...
142
Voted
ICDAR
1995
IEEE
15 years 9 months ago
1995
IEEE
In this paper, we present a hybrid approach to the problem of the document analysis in which the document image is segmented by means of a top-down technique and then basic blocks...
156
Voted
AAAI
2006
15 years 7 months ago
2006
Constraint programming is a commonly used technology for solving complex combinatorial problems. However, users of this technology need significant expertise in order to model the...