Sciweavers

3809 search results - page 303 / 762
» Associative language descriptions
Sort
View
WSC
1997
15 years 8 months ago
SimJAVA - A Framework for Modeling Queueing Networks in Java
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
Wolfgang Kreutzer, Jane Hopkins, Marcel van Mierlo
EACL
1993
ACL Anthology
15 years 8 months ago
Ambiguity resolution in a reductionistic parser
We are concerned with dependencyoriented morphosyntactic parsing of running text. While a parsing grammar should avoid introducing structurallyunresolvable distinctionsin order to...
Atro Voutilainen, Pasi Tapanainen
ENTCS
2006
109views more  ENTCS 2006»
15 years 7 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
153
Voted
IMCSIT
2010
15 years 5 months ago
Building and Using Existing Hunspell Dictionaries and TeX Hyphenators as Finite-State Automata
Abstract--There are numerous formats for writing spellcheckers for open-source systems and there are many descriptions for languages written in these formats. Similarly, for word h...
Tommi Pirinen, Krister Lindén
NAACL
2010
15 years 5 months ago
Testing a Grammar Customization System with Sahaptin
I briefly describe a system for automatically creating an implemented grammar of a natural language based on answers to a web-based questionnaire, then present a grammar of Sahapt...
Scott Drellishak