10585 search results - page 592 / 2117 » The Orc Programming Language |
199
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
192
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
178
click to vote
AAAI
2010
15 years 8 months ago
2010
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...
183
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
In this paper we introduce a dynamic programming algorithm to perform linear text segmentation by global minimization of a segmentation cost function which consists of: (a) within...
189
click to vote
WOA
2004
15 years 8 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...