Sciweavers

6343 search results - page 956 / 1269
» Development of a Cartographic Language
Sort
View
FASE
2008
Springer
15 years 8 months ago
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
Till Mossakowski, Lutz Schröder, Sergey Gonch...
COMAD
2008
15 years 8 months ago
Modeling Uncertain and Imprecise Information in Process Modeling with UML
In designing and developing large complex products, people use models to describe and organize interrelated elements in both product systems (architecture, use cases, constraints....
Xiao Jing, Pierre Pinel, Lei Pi, Vincent Aranega, ...
LREC
2010
132views Education» more  LREC 2010»
15 years 8 months ago
Hungarian Dependency Treebank
Herein, we present the process of developing the first Hungarian Dependency TreeBank. First, short references are made to dependency grammars we considered important in the develo...
Veronika Vincze, Dóra Szauter, Attila Alm&a...
148
Voted
LREC
2010
146views Education» more  LREC 2010»
15 years 8 months ago
A Pilot Arabic CCGbank
We describe a process for converting the Penn Arabic Treebank into the CCG formalism. Previous efforts have yielded CCGbanks in English, German, and Turkish, thus opening these la...
Stephen A. Boxwell, Chris Brew
LREC
2010
179views Education» more  LREC 2010»
15 years 8 months ago
Evaluation Protocol and Tools for Question-Answering on Speech Transcripts
Question Answering (QA) technology aims at providing relevant answers to natural language questions. Most Question Answering research has focused on mining document collections co...
Nicolas Moreau, Olivier Hamon, Djamel Mostefa, Sop...