Sciweavers

3809 search results - page 335 / 762
» Associative language descriptions
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson
FLAIRS
2007
15 years 9 months ago
Deriving Chronological Information from Texts through a Graph-Based Algorithm
We propose a method of deriving chronological order of events in natural language texts by constraining temporal boundaries associated to events and projecting them on a timeline....
Cosmin Adrian Bejan
AAAI
2010
15 years 8 months ago
Finding Semantic Inconsistencies in UMLS using Answer Set Programming
We introduce a new method to find semantic inconsistencies (i.e., concepts with erroneous synonymity) in the Unified Medical Language System (UMLS). The idea is to identify the in...
Halit Erdogan, Olivier Bodenreider, Esra Erdem
EACL
1989
ACL Anthology
15 years 8 months ago
A Modular Approach To Story Generation
One way of characterising texts is in terms of the discourse structures on which they appear to be built. Each type of text, or genre, e.g. the sports report, the recipe, the serm...
Lyn Pemberton
CORR
2006
Springer
89views Education» more  CORR 2006»
15 years 6 months ago
Reuse of Specification Patterns with the B Method
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
Sandrine Blazy, Frédéric Gervais, R&...