WALi: Nested-Word Automata

Simple item page
dc.contributor.authorDriscoll, Evanen_US
dc.contributor.authorThakur, Adityaen_US
dc.contributor.authorBurton, Amandaen_US
dc.contributor.authorReps, Thomasen_US
dc.date.accessioned2012-03-15T17:24:57Z
dc.date.available2012-03-15T17:24:57Z
dc.date.created2011en_US
dc.date.issued2011en_US
dc.description.abstractWALi-NWA is a C++ library for constructing, querying, and operating on nested-word automata. It is a portion of the WALi library, which provides types and operations for weighted automata. While the NWA portions of WALi are mostly logically separate from the rest of WALi, it does use facilities provided by WALi and inter-operates with WALi's weighted pushdown system (WPDS) code.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationTR1675en_US
dc.identifier.urihttp://digital.library.wisc.edu/1793/60708
dc.publisherUniversity of Wisconsin-Madison Department of Computer Sciencesen_US
dc.titleWALi: Nested-Word Automataen_US
dc.typeTechnical Reporten_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR1675.pdf
Size:
718.67 KB
Format:
Adobe Portable Document Format
Download

Collections

CS Technical Reports