3653 search results - page 346 / 731 » On Recognizable Timed Languages |
179
click to vote
KI
1999
Springer
15 years 11 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
248
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
200
Voted
EDBT
1998
ACM
15 years 11 months ago
1998
ACM
Efficient evaluation of similarity queries is one of the basic requirements for advanced multimedia applications. In this paper, we consider the relevant case where complex similar...
130
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
The mpC language was developed to write efJicientand portable programsfor wide range of distributed memory machines. It supports both task and data parallelism, allows both static...
161
click to vote
WEBDB
1998
Springer
15 years 11 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...