11436 search results - page 265 / 2288 » Modeling Real Reasoning |
126
Voted
CCR
2004
15 years 3 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...
114
Voted
PDP
2007
IEEE
15 years 10 months 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...
140
Voted
DLOG
2003
15 years 5 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 ...
115
Voted
FOCS
2005
IEEE
15 years 9 months 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...
128
Voted
LPAR
2007
Springer
15 years 9 months 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...