1942 search results - page 255 / 389 » Parse |
133
Voted
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
140
click to vote
PPPJ
2004
ACM
15 years 10 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
113
Voted
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
164
Voted
SIGIR
2004
ACM
15 years 10 months ago
2004
ACM
List question answering (QA) offers a unique challenge in effectively and efficiently locating a complete set of distinct answers from huge corpora or the Web. In TREC-12, the med...
151
click to vote
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
We investigate the effect of unlexicalization in a dependency parser for variable word order languages and propose an unlexicalized parser which can utilize some contextual inform...