Sciweavers

4670 search results - page 777 / 934
» Testing that distributions are close
Sort
View
CAEPIA
2005
Springer
16 years 4 days ago
Multiagent Architecture for Monitoring the North-Atlantic Carbon Dioxide Exchange Rate
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
Javier Bajo, Juan M. Corchado
CONCUR
2005
Springer
16 years 4 days ago
Selecting Theories and Recursive Protocols
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
Tomasz Truderung
EUROPAR
2005
Springer
16 years 3 days ago
Parallel Edge-Based Inexact Newton Solution of Steady Incompressible 3D Navier-Stokes Equations
The parallel edge-based solution of 3D incompressible Navier-Stokes equations is presented. The governing partial differential equations are discretized using the SUPG/PSPG stabili...
Renato N. Elias, Marcos A. D. Martins, Alvaro L. G...
EUROPAR
2005
Springer
16 years 3 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 ...
ICIC
2005
Springer
16 years 3 days ago
Sequential Stratified Sampling Belief Propagation for Multiple Targets Tracking
Rather than the difficulties of highly non-linear and non-Gaussian observation process and the state distribution in single target tracking, the presence of a large, varying number...
Jianru Xue, Nanning Zheng, Xiaopin Zhong