Sciweavers

3965 search results - page 502 / 793
» Effectivity of Regular Spaces
Sort
View
AICOM
2010
92views more  AICOM 2010»
15 years 6 months ago
SOLAR: An automated deduction system for consequence finding
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, O...
ANOR
2010
116views more  ANOR 2010»
15 years 6 months ago
A model and case study for efficient shelf usage and assortment analysis
In the rapidly changing environment of Fast Moving Consumer Goods sector where new product launches are frequent, retail channels need to reallocate their shelf spaces intelligent...
Mehmet Murat Fadiloglu, Oya Ekin Karasan, Mustafa ...
CONSTRAINTS
2010
101views more  CONSTRAINTS 2010»
15 years 6 months ago
Evaluating the impact of AND/OR search on 0-1 integer linear programming
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
Radu Marinescu 0002, Rina Dechter
CORR
2010
Springer
105views Education» more  CORR 2010»
15 years 6 months ago
Fuzzy Controller for Matrix Converter System to Improve its Quality of Output
: In this paper, Fuzzy Logic controller is developed for ac/ac Matrix Converter. Furthermore, Total Harmonic Distortion is reduced significantly. Space Vector Algorithm is a method...
Nagalingam Mahendran, G. Gurusamy
203
Voted
CSDA
2008
158views more  CSDA 2008»
15 years 6 months ago
Outlier identification in high dimensions
A computationally fast procedure for identifying outliers is presented, that is particularly effective in high dimensions. This algorithm utilizes simple properties of principal c...
Peter Filzmoser, Ricardo A. Maronna, Mark Werner