1176 search results - page 108 / 236 » Implicit Abstraction Heuristics |
188
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Mesh numbering is a critical issue in Finite Element Methods, as the computational cost of one analysis is highly dependent on the order of the nodes of the mesh. This pa...
158
click to vote
JNW
2006
15 years 6 months ago
2006
Abstract-- This paper proposes a localized recursive estimation scheme for parameter estimation in wireless sensor networks. Given any parameter of a target occurring at some locat...
153
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--Quantum circuits are time-dependent diagrams describing the process of quantum computation. Usually, a quantum algorithm must be mapped into a quantum circuit. Optimal sy...
187
click to vote
TRANSCI
2008
15 years 6 months ago
2008
Abstract. We present a new model for a strategic locomotive scheduling problem arising at the Deutsche Bahn AG. The model is based on a multi-commodity min-cost flow formulation th...
175
click to vote
JSAC
2007
15 years 6 months ago
2007
Abstract— In this paper we consider the problem of provisioning spare capacity in two-layer backbone networks using shared backup path protection. First, two spare capacity alloc...