Sciweavers

1839 search results - page 353 / 368
» Querying Tourism Information Systems in Natural Language
Sort
View
CORR
2010
Springer
151views Education» more  CORR 2010»
14 years 12 months ago
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
Zachary Snow, David Baelde, Gopalan Nadathur
88
Voted
CORR
2006
Springer
122views Education» more  CORR 2006»
14 years 11 months ago
Unification of multi-lingual scientific terminological resources using the ISO 16642 standard. The TermSciences initiative
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
Majid Khayari, Stéphane Schneider, Isabelle...
FMSD
2006
131views more  FMSD 2006»
14 years 11 months ago
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
Peter Csaba Ölveczky, José Meseguer, C...
JDM
2006
96views more  JDM 2006»
14 years 11 months ago
Preparing Clinical Text for Use in Biomedical Research
Approximately 57 different types of clinical annotations construct a patient's medical record. The annotations include radiology reports, discharge summaries, and surgical an...
John Pestian, Lukasz Itert, Charlotte Anderson, Wl...
76
Voted
JSW
2007
133views more  JSW 2007»
14 years 11 months ago
New Functions for Unsupervised Asymmetrical Paraphrase Detection
Abstract— Monolingual text-to-text generation is an emerging research area in Natural Language Processing. One reason for the interest in such generation systems is the possibili...
João Cordeiro, Gaël Dias, Pavel Brazdi...