24216233
CAQ: A machine learning tool for engineering
Abstract Machine learning algorithms developed from artificial intelligence (AI) research are rapidly finding useful applications in engineering domains. They are joining a family of tools that can help engineers summarize (or synthesize) massive amounts of data to support decision making. Traditional tools in this family, such as various statistical-based techniques, deal mostly with continuous (real) valued attributes — their results are relatively accurate, but often hard to interpret. On the other hand, logic-based learning tools, such as Michalski's AQ series of programs for learning concepts from examples, deal only with discrete valued attributes — their results are easier to comprehend, but not accurate for engineering applications which rarely deal solely with discrete valued attributes. Ideally, engineers need algorithms that work with a mix of attributes including those that take continuous values and those that take discrete values. Engineering problems also demand that learning algorithms be able to handle noise and produce concepts that are comprehensible. CAQ (Continuous AQ) is an algorithm designed to meet engineering requirements. This paper explains how CAQ combines continuous and discrete values, and shows that handling continuous attributes as real numbers instead of forcing them into a discrete representation leads to more efficient concept formation. Data from a turning process simulator used in support of machine operation planning in manufacturing are used to demonstrate the new algorithm.
37627056
SWIFT: system workbench for integrating and facilitating teams
There have been many R&D efforts in recent years to develop computer environments that directly enhance group problem-solving productivity. An example of such efforts is the computer-based virtual teaming technology (VTT) developed at the knowledge-based Engineering Sytems Research Laboratory (KESRL). The core software environment for KESRL's VTT is called SWIFT and is based on the knowledge processing technology (KPT) previously developed at KESRL to support various engineering design tasks. SWIFT is a flexible environment which enables the rapid development of collaborative applications, linking workers in distributed environments, of many domains. The paper presents the overall system architecture of SWIFT, and introduces the current and future R&D efforts at KESRL in realizing SWIFT for significant industrial applications.<<ETX>>
5343942
Knowledge-Based Equation Discovery in Engineering Domains
Machine learning techniques that can compress datasets into relationships that underlie the data have great utility for engineers. Most model discovery systems are not well suited to discovering comprehensible models in engineering domains. In this paper we present KEDS, a Knowledge-based Equation Discovery System, which uses a model-driven approach to discover equations and thereby build models from engineering data.
12858200
Building Robust Learning Systems by Combining Induction and Optimization
Each concept description language and search strategy has an inherent inductive bias, a preference for some hypotheses over others. No single inductive bias performs optimally on all problems. This paper describes a system that couples induction with optimization to carry out an efficient search of large regions of inductive bias space. Experimental results are reported demonstrating the system's capacity to choose optimal biases even for complex and noisy problems.
6309018
Knowledge-based learning integrating acquisition and learning
Empirical learning algorithms are hampered by their inability to use domain knowledge to guide the induction of new rules. This paper describes knowledge-based learning, an approach to learning that selects the examples and relevant attributes for an empirical algorithm. Knowledge-based learning can be used for developing rules for engineering expert systems. Engineers often have some rules for problem solving, but also many experiences (examples) that facilitate solving problems. Knowledge-based learning systems are able to use both forms of knowledge.
35812356
A Study of How Domain Knowledge Improves Knowledge-Based Learning Systems
Abstract A knowledge-based learning system is developed to demonstrate that intelligently selecting a subset of examples based on domain knowledge for rule induction can be more productive than using all provided examples. Knowledge-based learning uses an incomplete domain theory and examples to induce knowledge missing in the theory. Knowledge-based learning systems determine where knowledge is missing in a domain theory, select a relevant subset of examples to use in induction, and induce new rules or modify existing rules.
619246
The impact of multihop wireless channel on TCP performance
This paper studies TCP performance in a stationary multihop wireless network using IEEE 802.11 for channel access control. We first show that, given a specific network topology and flow patterns, there exists an optimal window size W* at which TCP achieves the highest throughput via maximum spatial reuse of the shared wireless channel. However, TCP grows its window size much larger than W* leading to throughput reduction. We then explain the TCP throughput decrease using our observations and analysis of the packet loss in an overloaded multihop wireless network. We find out that the network overload is typically first signified by packet drops due to wireless link-layer contention, rather than buffer overflow-induced losses observed in the wired Internet. As the offered load increases, the probability of packet drops due to link contention also increases, and eventually saturates. Unfortunately the link-layer drop probability is insufficient to keep the TCP window size around W'*. We model and analyze the link contention behavior, based on which we propose link RED that fine-tunes the link-layer packet dropping probability to stabilize the TCP window size around W*. We further devise adaptive pacing to better coordinate channel access along the packet forwarding path. Our simulations demonstrate 5 to 30 percent improvement of TCP throughput using the proposed two techniques.
14619760
A New Inlining Algorithm for Mapping XML DTDs to Relational Schemas
XML is rapidly emerging on the World Wide Web as a standard for representing and exchanging data. It is critical to have efficient mechanisms to store and query XML documents to exploit the full power of this new technology. While one approach is to develop native XML repositories that support XML data models and query languages directly, the other approach is to take advantage of the mature technologies that are provided by current relational or object-relational DBMSs. There is active research along both approaches and it is still not clear which one is better than the other. We continue our effort on the second approach. In particular, we have developed an efficient algorithm which takes an XML DTD as input and produces a relational schema as output for storing and querying XML documents conforming to the input DTD. Our algorithm features several significant improvements over the shared-inlining algorithm including overcoming its incompleteness, eliminating redundancies caused by shared elements, performing optimizations and enhancing efficiency.
41350051
Language engineering for the Semantic Web: a digital library for endangered languages
18477384
Verifiable Shuffle of Large Size Ciphertexts
A shuffle is a permutation and rerandomization of a set of ciphertexts. Among other things, it can be used to construct mix-nets that are used in anonymization protocols and voting schemes. While shuffling is easy, it is hard for an outsider to verify that a shuffle has been performed correctly. We suggest two efficient honest verifier zero-knowledge (HVZK) arguments for correctness of a shuffle. Our goal is to minimize round-complexity and at the same time have low communicational and computational complexity. 
 
The two schemes we suggest are both 3-move HVZK arguments for correctness of a shuffle. We first suggest a HVZK argument based on homomorphic integer commitments, and improve both on round complexity, communication complexity and computational complexity in comparison with state of the art. The second HVZK argument is based on homomorphic commitments over finite fields. Here we improve on the computational complexity and communication complexity when shuffling large ciphertexts.
7682350
Incremental genetic K-means algorithm and its application in gene expression data analysis
BackgroundIn recent years, clustering algorithms have been effectively applied in molecular biology for gene expression data analysis. With the help of clustering algorithms such as K-means, hierarchical clustering, SOM, etc, genes are partitioned into groups based on the similarity between their expression profiles. In this way, functionally related genes are identified. As the amount of laboratory data in molecular biology grows exponentially each year due to advanced technologies such as Microarray, new efficient and effective methods for clustering must be developed to process this growing amount of biological data.ResultsIn this paper, we propose a new clustering algorithm, Incremental Genetic K-means Algorithm (IGKA). IGKA is an extension to our previously proposed clustering algorithm, the Fast Genetic K-means Algorithm (FGKA). IGKA outperforms FGKA when the mutation probability is small. The main idea of IGKA is to calculate the objective value Total Within-Cluster Variation (TWCV) and to cluster centroids incrementally whenever the mutation probability is small. IGKA inherits the salient feature of FGKA of always converging to the global optimum. C program is freely available at http://database.cs.wayne.edu/proj/FGKA/index.htm.ConclusionsOur experiments indicate that, while the IGKA algorithm has a convergence pattern similar to FGKA, it has a better time performance when the mutation probability decreases to some point. Finally, we used IGKA to cluster a yeast dataset and found that it increased the enrichment of genes of similar function within the cluster.