4502 search results - page 626 / 901 » Regular Model Checking |
151
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
— As an increasing number of robots have been designed to interact with people on a regular basis, research into human-robot interaction has become more widespread. At the same t...
173
click to vote
APGV
2004
ACM
16 years 2 days ago
2004
ACM
The class of all natural images is an extremely small fraction of all possible images. Some of the structure of natural images can be modeled statistically, revealing striking reg...
174
click to vote
ITICSE
2004
ACM
16 years 2 days ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
186
click to vote
ICGI
2004
Springer
16 years 1 days ago
2004
Springer
We present a method for modeling user navigation on a web site using grammatical inference of stochastic regular grammars. With this method we achieve better models than the previo...
171
click to vote
EUROCRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Cryptographic computations are often carried out on insecure devices for which the threat of key exposure represents a serious concern. Forward security allows one to mitigate the...