Sciweavers

1287 search results - page 12 / 258
» Self-Normalized Linear Tests
Sort
View
STOC
1992
ACM
110views Algorithms» more  STOC 1992»
13 years 11 months ago
Linear Decision Trees: Volume Estimates and Topological Bounds
Abstract. We describe two methods for estimating the size and depth of decision trees where a linear test is performed at each node. Both methods are applied to the question of dec...
Anders Björner, László Lov&aacu...
ISAAC
1995
Springer
97views Algorithms» more  ISAAC 1995»
13 years 11 months ago
A Linear Time Algorithm For Finding Maximal Planar Subgraphs
Given an undirected graph G, the maximal planar subgraph problem is to determine a planar subgraph H of G such that no edge of G-H can be added to H without destroying planarity. P...
Wen-Lian Hsu
QNS
1996
13 years 9 months ago
Case studies on the development of ScaLAPACK and the NAG Numerical PVM Library
In this paper we look at the developmentof ScaLAPACK, a software library for dense and banded numerical linear algebra, and the NAG Numerical PVM Library, which includes software ...
Jack Dongarra, Sven Hammarling, Antoine Petitet
ENTCS
2006
141views more  ENTCS 2006»
13 years 7 months ago
A Concurrent Model for Linear Logic
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
Emmanuel Beffara
APPML
2004
45views more  APPML 2004»
13 years 7 months ago
The dissipative linear boltzmann equation
We introduce and discuss a linear Boltzmann equation describing dissipative interactions of a gas of test particles with a fixed background. For a pseudo-Maxwellian collision kern...
Giampiero Spiga, G. Toscani