Sciweavers

1968 search results - page 5 / 394
» Symmetry in Decision Evaluation
Sort
View
IPCO
2007
108views Optimization» more  IPCO 2007»
13 years 9 months ago
Orbital Branching
We introduce orbital branching, an effective branching method for integer programs containing a great deal of symmetry. The method is based on computing groups of variables that a...
James Ostrowski, Jeff Linderoth, Fabrizio Rossi, S...
DKE
2008
57views more  DKE 2008»
13 years 7 months ago
On the evaluation of the decision performance of an incomplete decision table
As two classical measures, approximation accuracy and consistency degree can be extended for evaluating the decision performance of an incomplete decision table. However, when the...
Yuhua Qian, Chuangyin Dang, Jiye Liang, Haiyun Zha...
ISCI
2008
84views more  ISCI 2008»
13 years 7 months ago
Measures for evaluating the decision performance of a decision table in rough set theory
As two classical measures, approximation accuracy and consistency degree can be employed to evaluate the decision performance of a decision table. However, these two measures cann...
Yuhua Qian, Jiye Liang, Deyu Li, Haiyun Zhang, Chu...
TEC
2002
94views more  TEC 2002»
13 years 7 months ago
Knowledge-intensive genetic discovery in foreign exchange markets
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
Siddhartha Bhattacharyya, Olivier V. Pictet, Gille...
CAV
2006
Springer
132views Hardware» more  CAV 2006»
13 years 11 months ago
Symmetry Reduction for Probabilistic Model Checking
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
Marta Z. Kwiatkowska, Gethin Norman, David Parker