57 search results - page 6 / 12 » Luce's choice axiom |
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 ...
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...
LFP
1990
13 years 8 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
ER
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...