3457 search results - page 320 / 692 » A Symbol Is Not a Symbol |
204
click to vote
LICS
2003
IEEE
16 years 23 days 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 ...
198
Voted
LICS
2003
IEEE
16 years 23 days 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...
180
click to vote
ATAL
2003
Springer
16 years 21 days 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...
180
click to vote
GREC
2003
Springer
16 years 21 days 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...
188
click to vote
ICFEM
2009
Springer
16 years 2 days 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...