4743 search results - page 184 / 949 » The PlusCal Algorithm Language |
111
click to vote
AAAI
1994
15 years 4 months ago
1994
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...
100
click to vote
ECML
2003
Springer
15 years 8 months ago
2003
Springer
We present an algorithm for learning context free grammars from positive structural examples (unlabeled parse trees). The algorithm receives a parameter in the form of a finite se...
125
click to vote
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
123
click to vote
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms. The execution time can be estimated and dead-locks and ...
113
click to vote
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...