759 search results - page 7 / 152 » Odometers on Regular Languages |
ECOOP
2003
Springer
14 years 18 days ago
2003
Springer
ACL
2009
13 years 5 months ago
2009
Stochastic gradient descent (SGD) uses approximate gradients estimated from subsets of the training data and updates the parameters in an online fashion. This learning framework i...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
We prove that, if the initial knowledge of the intruder is given by a deterministic bottom-up tree automaton, then the insecurity problem for cryptographic protocols with atomic ke...
POPL
2001
ACM
14 years 7 months ago
2001
ACM
PODS
2010
ACM
14 years 14 days ago
2010
ACM
XML Schema Definitions (XSDs) can be adequately abstracted by the single-type regular tree languages. It is wellknown, that these form a strict subclass of the robust class of re...