918 search results - page 19 / 184 » Speculative Issue Logic |
138
click to vote
WSC
2004
15 years 7 months ago
2004
Ontologies represent the next important phase of the World Wide Web, creating a semantic web which links together disparate pieces of information and knowledge. Creating ontologie...
145
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Data exchanges between Web services engaged in a composition raise several heterogeneities. In this paper, we address the problem of data cardinality heterogeneity in a c...
162
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
143
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
A machine’s performance is the product of its IPC (Instructions Per Cycle) and clock frequency. Recently, Palacharla, Jouppi, and Smith [3] warned that the dynamic instruction s...
158
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...