11436 search results - page 265 / 2288 » Modeling Real Reasoning |
171
click to vote
CCR
2004
15 years 6 months ago
2004
This paper proposes a real options framework for evaluating architectural choices and the economic value of these alternative choices of networks, protocols, and services. Using p...
162
click to vote
PDP
2007
IEEE
16 years 28 days ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
196
Voted
DLOG
2003
15 years 8 months ago
2003
This chapter covers extensions of the basic description logics introduced in Chapter 2 by very expressive constructs that require advanced reasoning techniques. In particular, we ...
156
click to vote
FOCS
2005
IEEE
16 years 8 days ago
2005
IEEE
We establish a new connection between the two most common traditions in the theory of real computation, the Blum-Shub-Smale model and the Computable Analysis approach. We then use...
173
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...