4743 search results - page 567 / 949 » The PlusCal Algorithm Language |
122
click to vote
COORDINATION
2004
Springer
15 years 8 months ago
2004
Springer
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
103
Voted
ER
2004
Springer
15 years 8 months ago
2004
Springer
Searching for similar objects (in terms of near and nearest neighbors) of a given query object from a large set is an essential task in many applications. Recent years have seen g...
98
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
138
Voted
ICGI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper investigates the learnability of Pregroup Grammars, a context-free grammar formalism recently defined in the field of computational linguistics. In a first ...
152
click to vote
TIME
2003
IEEE
15 years 8 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...