Sciweavers

4800 search results - page 616 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
ATAL
2005
Springer
16 years 3 days ago
A computationally grounded logic of knowledge, belief and certainty
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
Kaile Su, Abdul Sattar, Guido Governatori, Qinglia...
EUROPAR
2005
Springer
16 years 2 days ago
PerfMiner: Cluster-Wide Collection, Storage and Presentation of Application Level Hardware Performance Data
Abstract. We present PerfMiner, a system for the transparent collection, storage and presentation of thread-level hardware performance data across an entire cluster. Every sub-proc...
Philip Mucci, Daniel Ahlin, Johan Danielsson, Per ...
JSAI
2005
Springer
16 years 1 days ago
Learning Stochastic Logical Automaton
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
Hiroaki Watanabe, Stephen Muggleton
PVM
2005
Springer
16 years 1 days ago
Calculation of Single-File Diffusion Using Grid-Enabled Parallel Generic Cellular Automata Simulation
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
Marcus Komann, Christian Kauhaus, Dietmar Fey
GECCO
2005
Springer
138views Optimization» more  GECCO 2005»
16 years 7 hour ago
Artificial immune system for solving generalized geometric problems: a preliminary results
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
Jui-Yu Wu, Yun-Kung Chung