Sciweavers

4743 search results - page 522 / 949
» The PlusCal Algorithm Language
Sort
View
CLEF
2005
Springer
15 years 8 months ago
Ad-Hoc Mono- and Bilingual Retrieval Experiments at the University of Hildesheim
This paper reports on our participation in CLEF 2005‘s ad-hoc multi-lingual retrieval track. The ad-hoc task introduced Bulgarian and Hungarian as new languages. Our experiments...
René Hackl, Thomas Mandl, Christa Womser-Ha...
PACT
2005
Springer
15 years 8 months ago
Information Flow Analysis for VHDL
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
Terkel K. Tolstrup, Flemming Nielson, Hanne Riis N...
PADL
2005
Springer
15 years 8 months ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
PPSWR
2005
Springer
15 years 8 months ago
Descriptive Typing Rules for Xcerpt
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
Sacha Berger, Emmanuel Coquery, Wlodzimierz Draben...
AMTA
2004
Springer
15 years 8 months ago
Multi-align: Combining Linguistic and Statistical Techniques to Improve Alignments for Adaptable MT
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
Necip Fazil Ayan, Bonnie J. Dorr, Nizar Habash