7075 search results - page 327 / 1415 » Models and heterogeneous reasoning |
203
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper establishes a bridge between presheaf models for concurrency and the more operationally-informative world of event structures. It concentrates on a particular preshea...
207
click to vote
ESSLLI
2009
Springer
15 years 4 months ago
2009
Springer
This paper addresses the problem of selecting the `optimal' variable subset in a logistic regression model for a medium-sized data set. As a case study, we take the British En...
177
click to vote
DLOG
2008
15 years 9 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
148
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. The identification of consistent sets of arguments is one of the most important concerns in the development of computational models of argument. Such extensions drive the...
166
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...