Alisa Maas - Artikel & Meinungen - alle Infos bei Yasni.de

(1 - 7 von 7

)

Automating String Processing in Spreadsheets Using Input-Output...

cs703reviews.wordpress.com

http://research.microsoft.com/en-us/um/people/sumitg/pubs/popl11-synthesis.pdf Due on Monday, Oct 26th

Welcome Alisa Maas to the IOTA Foundation

blog.iota.org

Alisa Maas graduated in Business Administration and has been active in the fields of mobility, IoT, logistics and fleet management since early 2010, gaining ...

Type-and-example directed program synthesis, Osera and Zdeancewic –...

cs703reviews.wordpress.com

http://www.cs.grinnell.edu/~osera/papers/osera-pldi pdf Due on Monday, Nov 9th

Alisa Maas | Indiegala Community

forums.indiegala.com

Alisa Maas. New member. Joined: Monday at 7:33 PM. Last seen: Monday at 7:33 PM. Messages: 0. Reaction score: 0. Points:

Symbolic Finite State Transducers: Algorithms and Applications,...

cs703reviews.wordpress.com

Alisa Maas says: This paper presents an extension of transducers, which have a well-researched history, to include symbolic transitions, much like symbolic finite automata. Other previously known implementations of transducers do not generalize well to symbolic transducers. Their results provide efficient ...