3457 search results - page 320 / 692 » A Symbol Is Not a Symbol |
171
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
172
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
165
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Traditional goal-oriented approaches to building intelligent agents only consider absolute satisfaction of goals. However, in continuous domains there may be many instances in whi...
165
click to vote
GREC
2003
Springer
15 years 12 months ago
2003
Springer
To date many methods and programs for automatic text recognition exist. However there are no effective text recognition systems for graphic documents. Graphic documents usually con...
168
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...