3206 search results - page 317 / 642 » How minds can be computational systems |
191
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Abstract. A smoothed aggregation multigrid method is presented for the numerical calculation of the stationary probability vector of an irreducible sparse Markov chain. It is shown...
182
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Wikipedia’s article discussion spaces (“Talk pages”) form a large and growing proportion of the encyclopedia, used for collaboration and article improvement. So far there is...
182
click to vote
CLUSTER
2007
IEEE
15 years 8 months ago
2007
IEEE
— The complexity of today’s computer systems poses a challenge to system administrators. Current systems comprise a multitude of inter-related software components running on di...
209
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
185
click to vote
AIMS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A central issue in autonomic management is how to coordinate several autonomic management processes, which is assumed to require significant knowledge exchange. This stu...