2496 search results - page 148 / 500 » Error-detecting properties of languages |
90
Voted
CP
2003
Springer
15 years 6 months ago
2003
Springer
How do we identify inconsistent CSPs quickly? This paper presents relaxation as one possible method; showing how we can generate relaxed CSPs which are easier to prove inconsistent...
97
Voted
GCC
2003
Springer
15 years 6 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
154
click to vote
CSFW
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we present a procedure for removing ruling lines from a handwritten document image that does not break existing characters. We take advantage of common ruling line p...
93
Voted
DEON
2008
Springer
15 years 2 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...