3335 search results - page 295 / 667 » Grid result checking |
111
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on th...
190
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
183
click to vote
GPC
2009
Springer
15 years 4 months ago
2009
Springer
Data integrity is an important aspect of storage security and reliability which are prerequisite for most computer systems and network applications. This paper proposes a new tech...
160
Voted
ACG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Kakuro consists in filling a grid with integers that sum up to predefined values. Sums are predefined for each row and column and all integers have to be different in ...
167
click to vote
SGAI
2007
Springer
16 years 22 days ago
2007
Springer
Grid-World is a working computer model which has been used to investigate the search capabilities of artificial agents that understand the world in terms of non-conceptual content...