71 search results - page 6 / 15 » Unions and the axiom of choice |
ARTS
1999
Springer
13 years 12 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
ENTCS
2007
13 years 7 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
PODS
2007
ACM
14 years 7 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
EUSFLAT
2007
13 years 9 months ago
2007
To a fuzzy choice function C we assign the indicators of revealed preference WAFRP(C), SAFRP(C) and the indicators of congruence WFCA(C), SFCA(C). These indicators measure the deg...