4743 search results - page 138 / 949 » The PlusCal Algorithm Language |
114
Voted
ENTCS
2002
15 years 2 months ago
2002
In this paper we present how refactoring of object-oriented programs can be accomplished by using refinement. Our approach is based on algebraic laws of an object-oriented languag...
137
Voted
SCP
2000
15 years 2 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
122
Voted
ACL
2010
15 years 18 days ago
2010
The translation of sentiment information is a task from which sentiment analysis systems can benefit. We present a novel, graph-based approach using SimRank, a well-established ve...
115
Voted
INLG
2010
Springer
15 years 15 days ago
2010
Springer
The problem of Named Entity Generation is expressed as a conditional probability model over a structured domain. By defining a factor-graph model over the mentions of a text, we o...
131
Voted
INLG
2010
Springer
15 years 15 days ago
2010
Springer
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...