This thesis presents two new linear equation solvers, and investigates their applications in VLSI design automation. Both solvers are derived in the context of a special class of large-scale sparse left-hand-side matrices that are commonly encountered in engineering applications, and techniques are presented that can potentially extend the theory to more general cases. The first is a stochastic...

ion of WF Workflows. To relate our model transformation process with realistic and complex examples, we use the WF platform, which belongs to the .NET Framework 3.5 and is supported by Visual Studio 2008. We have chosenWF because it makes the implementation of services easier thanks to its workflowbased graphical support and the automation of the code generation, and it is an useful and interes...

A major problem in a~chine translation is the semantic description of lexical units which should be based on a semantic system that is bot]l coherent and operationalized to the greatest possible degree° This is to guarantee consistency between lexical unii~ coded by lexicogral~lers. This article introduces a generating device for achieving wellformed semantic feature expressions. I. T ntention ...

Ensuring Boyce-Codd Normal Form (BCNF) is the most popular way to remove redundancy and anomalies from datasets. Normalization to BCNF forces functional dependencies (FDs) into keys and foreign keys, which eliminates duplicate values and makes data constraints explicit. Despite being well researched in theory, converting the schema of an existing dataset into BCNF is still a complex, manual tas...

It is now common practice to monitor imaging performance prior to, and during, image acquisition for digital collections. Important image characteristics include the influence of lighting, lens focus, and several aspects of general imaging practice. While these methods have been applied to near-flat objects and documents, less attention has been given to developing reliable corresponding method...

We discuss a computational mechanism for comparing and integrating lexical definitional knowledge, meanings and concept definitions of English words and phrases available from different sources such as dictionaries, encyclopedias, corpora of texts, and personal beliefs. Such a mechanism is needed in order to automate comparison and reconciliation of the definitional differences because complete...

A space-efficient partitioned representation of the inverse of a unit lower triangular matrix L may be used for efficiently solving sparse triangular systems on massively parallel computers. The number of steps required in the parallel triangular solution is equal to the number of subsets of elementary triangular matrices in the partitioned representation of the inverse. Alvarado and Schreiber ...