Sciweavers

1942 search results - page 255 / 389
» Parse
Sort
View
111
Voted
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
15 years 7 months ago
CZT: A Framework for Z Tools
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...
Petra Malik, Mark Utting
110
Voted
PPPJ
2004
ACM
15 years 7 months ago
New and improved: Linda in Java
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...
George Wells
SIGCSE
2004
ACM
100views Education» more  SIGCSE 2004»
15 years 7 months ago
A visual and interactive automata theory course with JFLAP 4.0
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...
Ryan Cavalcante, Thomas Finley, Susan H. Rodger
134
Voted
SIGIR
2004
ACM
15 years 7 months ago
Effectiveness of web page classification on finding list answers
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...
Hui Yang, Tat-Seng Chua
CICLING
2004
Springer
15 years 7 months ago
Unlexicalized Dependency Parser for Variable Word Order Languages Based on Local Contextual Pattern
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...
Hoo-Jung Chung, Hae-Chang Rim