12981 search results - page 2420 / 2597 » Model Checking (Abstract) |
132
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we present an extensive study of the cuttingplane algorithm (CPA) applied to structural kernels for advanced text classification on large datasets. In par...
141
Voted
PVM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. VolpexMPI is an MPI library designed for volunteer computing environments. In order to cope with the fundamental unreliability of these environments, VolpexMPI deploys tw...
135
Voted
SAGT
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We consider the existence of Partition Equilibrium in Resource Selection Games. Super-strong equilibrium, where no subset of players has an incentive to change their stra...
141
Voted
SCP
2010
15 years 2 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
140
Voted
SIAMSC
2010
15 years 2 months ago
2010
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...