2496 search results - page 148 / 500 » Error-detecting properties of languages |
128
click to vote
CP
2003
Springer
15 years 11 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...
153
click to vote
GCC
2003
Springer
15 years 11 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 ...
208
click to vote
CSFW
1997
IEEE
15 years 10 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 ...
156
click to vote
ICPR
2010
IEEE
15 years 7 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...
144
click to vote
DEON
2008
Springer
15 years 7 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...