Sciweavers

3429 search results - page 631 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
FASE
2008
Springer
13 years 10 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...
BIS
2008
114views Business» more  BIS 2008»
13 years 10 months ago
Determining Relevant Deep Web Sites by Query Context Identification
Deep web search requires a transformation between search keywords and semantically described and well-formed data structures. We approached this problem in our "In the Web of ...
Zsolt Tivadar Kardkovács, Domonkos Tikk
APCCM
2004
13 years 10 months ago
An Adaptive Information Retrieval System Based on Associative Networks
In this paper we present a multilingual information retrieval system that provides access to Tourism information by exploiting the intuitiveness of natural language. In particular...
Helmut Berger, Michael Dittenbach, Dieter Merkl
ACL
2006
13 years 10 months ago
Learning to Predict Case Markers in Japanese
Japanese case markers, which indicate the grammatical relation of the complement NP to the predicate, often pose challenges to the generation of Japanese text, be it done by a for...
Hisami Suzuki, Kristina Toutanova
CORR
2006
Springer
103views Education» more  CORR 2006»
13 years 9 months ago
Unifying Lexicons in view of a Phonological and Morphological Lexical DB
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
Federico Calzolari, Michele Mammini, Monica Monach...