4743 search results - page 496 / 949 » The PlusCal Algorithm Language |
135
click to vote
SCP
1998
15 years 2 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
134
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
131
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Related entity finding is the task of returning a ranked list of homepages of relevant entities of a specified type that need to engage in a given relationship with a given sour...
113
click to vote
IJRR
2010
15 years 1 months ago
2010
This paper explores a topological perspective of planning in the presence of uncertainty, focusing on tasks specified by goal states in discrete spaces. The paper introduces stra...
107
Voted
COLING
2010
14 years 10 months ago
2010
The goal of this work is to produce a classifier that can distinguish subjective sentences from objective sentences for the Urdu language. The amount of labeled data required for ...