3206 search results - page 468 / 642 » How minds can be computational systems |
192
Voted
FROCOS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
151
click to vote
VLDB
2007
ACM
16 years 6 days ago
2007
ACM
An increasing number of enterprises outsource their IT services to third parties who can offer these services for a much lower cost due to economy of scale. Quality of service is ...
143
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
176
click to vote
MICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper we investigate mapping stream programs (i.e., programs written in a streaming style for streaming architectures such as Imagine and Raw) onto a general-purpose CP...
168
click to vote
ISCC
2000
IEEE
15 years 10 months ago
2000
IEEE
With standard assumptions the routing and wavelength assignment problem (RWA) can be viewed as a Markov Decision Process (MDP). The problem, however, defies an exact solution bec...