828 search results - page 35 / 166 » types 2000 |
JSYML
2000
13 years 7 months ago
2000
We consider a finite universe U (more exactly - a family U of them), second order quantifiers QK , where for each U this means quantifying over a family of n(K)-place relations clo...
ASPDAC
2000
ACM
14 years 1 days ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
CONCUR
2000
Springer
14 years 1 days ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
CLUSTER
2000
IEEE
14 years 3 days ago
2000
IEEE
In this paper we present the main concepts behind the Galaxy cluster management framework. Galaxy is focused on servicing large-scale enterprise clusters through the use of novel,...
COLING
2000
13 years 9 months ago
2000
This paper introduces a description language for syntactically annotated corpora which allows for encoding both the syntactic annotation to a corpus and the queries to a syntactic...