4743 search results - page 521 / 949 » The PlusCal Algorithm Language |
123
click to vote
ISDA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose an algorithm and data structure for computing the term contributed frequency (tcf) for all N-grams in a text corpus. Although term frequency is one of th...
113
click to vote
AIIA
2007
Springer
15 years 9 months ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...
92
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
105
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
104
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...