4306 search results - page 344 / 862 » Timed Testing with TorX |
133
click to vote
WOA
2007
15 years 4 months ago
2007
—In this paper we present a multi-agent search technique to face the NP-hard single machine total weighted tardiness scheduling problem in presence of sequence-dependent setup ti...
131
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
115
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper, we propose an approximation of the relative phase probability function (RP pdf) and use it to find a non-iterative estimator for the concentration parameter of the...
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a new and computationally efficient scheme for classifying signals into a fixed number of known classes. We model classes as subspaces in which the corresponding data...
171
click to vote
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...