5608 search results - page 154 / 1122 » On the Theory of Matchgate Computations |
112
click to vote
WSPI
2004
15 years 3 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
118
click to vote
ECSCW
1997
15 years 3 months ago
1997
: Within the community of CSCW the notion and nature of workflow systems as prescriptions of human work has been debated and criticised. Based on the work of Suchman (1987) the not...
109
click to vote
ACL
1993
15 years 3 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
108
click to vote
STTT
2008
15 years 1 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
142
click to vote
EBERNBURG
1990
15 years 5 months ago
1990
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...