4085 search results - page 716 / 817 » Benchmarking Data Mining Algorithms |
138
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
128
Voted
GLVLSI
2008
IEEE
15 years 3 months ago
2008
IEEE
The main contribution of this work is an analytical model for finding the upper bound on the temperature difference among various locations on the die. The proposed model can be u...
110
click to vote
INFORMATICALT
2006
15 years 2 months ago
2006
The paper describes the development and performance of parallel algorithms for the discrete element method (DEM) software. Spatial domain decomposition strategy and message passing...
122
Voted
OL
2007
15 years 2 months ago
2007
In this paper we construct the linear support vector machine (SVM) based on the nonlinear rescaling (NR) methodology (see [9, 11, 10] and references therein). The formulation of t...
152
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
In this paper we propose a new communication synthesis approach targeting systems with sequential communication media (SCM). Since SCMs require that the reading sequence and writi...