1058 search results - page 130 / 212 » Fault-Tolerant Resource Reasoning |
137
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplif...
151
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
141
click to vote
BTW
2007
Springer
15 years 11 months ago
2007
Springer
Web services are becoming more and more pervasive and are used by a number of information system clients. However, mobile clients still have limited computing and network resource...
145
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
149
click to vote
ECSQARU
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...