Complex event recognition languages: Tutorial
Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems:
Complex Event Recognition Languages Page 1 Tutorial: Complex Event Recognition Languages …
Complex Event Recognition Languages Page 1 Tutorial: Complex Event Recognition Languages …
Fast and precise sanitizer analysis with {BEK}
Web applications often use special string-manipulating sanitizers on untrusted user data, but
it is difficult to reason manually about the behavior of these functions, leading to errors. For …
it is difficult to reason manually about the behavior of these functions, leading to errors. For …
Symbolic finite state transducers: Algorithms and applications
Finite automata and finite transducers are used in a wide range of applications in software
engineering, from regular expressions to specification languages. We extend these classic …
engineering, from regular expressions to specification languages. We extend these classic …
Rex: Symbolic regular expression explorer
M Veanes, P De Halleux… - 2010 Third International …, 2010 - ieeexplore.ieee.org
Constraints in form regular expressions over strings are ubiquitous. They occur often in
programming languages like Perl and C#, in SQL in form of LIKE expressions, and in web …
programming languages like Perl and C#, in SQL in form of LIKE expressions, and in web …
The power of symbolic automata and transducers
L D'Antoni, M Veanes - … , CAV 2017, Heidelberg, Germany, July 24-28 …, 2017 - Springer
Symbolic automata and transducers extend finite automata and transducers by allowing
transitions to carry predicates and functions over rich alphabet theories, such as linear …
transitions to carry predicates and functions over rich alphabet theories, such as linear …
Minimization of symbolic automata
L D'Antoni, M Veanes - Proceedings of the 41st ACM SIGPLAN-SIGACT …, 2014 - dl.acm.org
Symbolic Automata extend classical automata by using symbolic alphabets instead of finite
ones. Most of the classical automata algorithms rely on the alphabet being finite, and …
ones. Most of the classical automata algorithms rely on the alphabet being finite, and …
Hebrew computational linguistics: Past and future
S Wintner - Artificial intelligence review, 2004 - Springer
This paper reviews the current state of the art in Natural LanguageProcessing for Hebrew,
both theoretical and practical. The Hebrewlanguage, like other Semitic languages, poses …
both theoretical and practical. The Hebrewlanguage, like other Semitic languages, poses …
[PDF][PDF] Shallow processing with unification and typed feature structures–foundations and applications
J Piskorski, U Schäfer, F Xu - Knstliche Intelligenz, 2004 - researchgate.net
Nowadays, we are witnessing an ever-growing trend of deploying lightweight linguistic
analysis for solving problems that deal with the conversion of the vast bulk of raw textual …
analysis for solving problems that deal with the conversion of the vast bulk of raw textual …
Unsupervised language acquisition: Theory and practice
A Clark - arXiv preprint cs/0212024, 2002 - arxiv.org
In this thesis I present various algorithms for the unsupervised machine learning of aspects
of natural languages using a variety of statistical models. The scientific object of the work is …
of natural languages using a variety of statistical models. The scientific object of the work is …
Dyna: Extending datalog for modern AI
J Eisner, NW Filardo - International Datalog 2.0 Workshop, 2010 - Springer
Modern statistical AI systems are quite large and complex; this interferes with research,
development, and education. We point out that most of the computation involves database …
development, and education. We point out that most of the computation involves database …