495 search results - page 45 / 99 » Automata and differentiable words |
105
click to vote
AAAI
1992
15 years 1 months ago
1992
It is often useful for a robot to construct a spatial representation of its environment from experiments and observations, in other words, to learn a map of its environment by exp...
115
Voted
CORR
2008
Springer
15 years 15 days ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
93
Voted
AAAI
2006
15 years 1 months ago
2006
This paper reports a statistical identification technique that differentiates scripts and languages in degraded and distorted document images. We identify scripts and languages th...
101
Voted
ENTCS
2006
15 years 13 days ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
104
click to vote
JUCS
2002
15 years 3 days ago
2002
: By introducing a new operation, the exponentiation of formal languages, we can define Heyting algebras of formal languages. It turns out that some well known families of language...