Sciweavers

759 search results - page 7 / 152
» Odometers on Regular Languages
Sort
View
145
Voted
ECOOP
2003
Springer
16 years 19 days ago
Regular Object Types
Vladimir Gapeyev, Benjamin C. Pierce
ACL
2009
15 years 5 months ago
Stochastic Gradient Descent Training for L1-regularized Log-linear Models with Cumulative Penalty
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...
Yoshimasa Tsuruoka, Jun-ichi Tsujii, Sophia Anania...
211
Voted
CADE
2005
Springer
16 years 7 months ago
Regular Protocols and Attacks with Regular Knowledge
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...
Tomasz Truderung
298
Voted
POPL
2001
ACM
16 years 7 months ago
Regular expression pattern matching for XML
Haruo Hosoya, Benjamin C. Pierce
PODS
2010
ACM
170views Database» more  PODS 2010»
16 years 15 days ago
Simplifying XML schema: single-type approximations of regular tree languages
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...
Wouter Gelade, Tomasz Idziaszek, Wim Martens, Fran...