Translation validationis an ciltemative to the verification of translators (compilers, code generators). Rather than proving in advance that the compiler always produces a target code which correctly implements the source code (compiler verification), each individual translation (i.e. a run of the compiler) is followed by a validation phase which verifies that the target code produced on this r...

Several techniques exist to select and materialize a proper set of data in a suitable structure that manage the queries submitted to the online analytical processing systems. These techniques are called view management techniques, which consist of three research areas: 1) view selection to materialize, 2) query processing and rewriting using the materialized views, and 3) maintaining materializ...

Virtual-build-to-order (VBTO) is a form of order fulfilment system in which the producer has the ability to search across the entire pipeline of finished stock, products in production and those in the production plan, in order to find the best product for a customer. It is a system design that is attractive to Mass Customizers, such as those in the automotive sector, whose manufacturing lead ti...

Dell's computer manufacturing process involves a complex system of material flow and assembly. This includes intelligent replenishment of sub-components from local warehouses according to the manufacturing schedule, just-in-time manufacturing of custom configured computer systems including hard-drive image and custom software download, packaging the unit for delivery, order accumulation, and fi...

Copyright © by Houghton Mifflin Harcourt Publishing Company All rights reserved. No part of this work may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying or recording, or by any information storage or retrieval system, without the prior written permission of the copyright owner unless such copying is expressly permitted by federal copyr...

there are three major strategies to form neural network ensembles. the simplest one is the cross validation strategy in which all members are trained with the same training data. bagging and boosting strategies pro-duce perturbed sample from training data. this paper provides an ideal model based on two important factors: activation function and number of neurons in the hidden layer and based u...