1176 search results - page 108 / 236 » Implicit Abstraction Heuristics |
128
Voted
CORR
2007
Springer
15 years 19 days 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...
101
click to vote
JNW
2006
15 years 18 days 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...
94
Voted
TCAD
2008
15 years 17 days 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...
124
Voted
TRANSCI
2008
15 years 16 days 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...
126
Voted
JSAC
2007
15 years 16 days 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...