Leanne Isaac and Dr. Phillip J. Windley, Computer Science As Java, a new language developed for the Internet, has continued to grow in popularity, the face of the World Wide Web is changing. Now, once static HTML pages are lined with moving animation and sounds. While the possibilities that Java brings to the Internet are […]
Automatically Creating Records From the Extracted Data Fields of Genealogical Microfilm
Kenneth Martin Tubbs Jr. and Dr. David W. Embley, Computer Science Introduction A wealth of information is locked up in millions of microfilm documents. The process of extracting and organizing this enormous amount of data is overwhelming. Automated data extraction techniques offer the ability to rapidly and systematically capture this information so that it can […]
PROOF TOOLS
Annette Bunker, Computer Science The field of formal methods uses mathematical proof techniques to help ensure the reliability of computer systems. These proofs are complex enough to warrant the use of a proof tool. Proof tools assist system designers by enforcing logical rules. But in order to reason about designs, we must build a representation […]
The Effect of Displaying Dependencies on Software Maintenance
Timothy D. Shadel and Dr. Peter Biggs, Computer Science Research has shown that the maintenance of existing software represents about 80% of the total development effort [1]. Up to 50% of a developer’s time may be spent trying to understand the software system [2]. Because maintenance costs are high, any methodology, tool, or training that […]
Neural Network Topologies
Michael Rimer and Dr. Tony Martinez, Computer Science Neural networks are a statistics-based learning paradigm in which specific acquired data samples are studied to form general rules on how to correctly handle new, unseen data. They have been used to make informed decisions in complex systems, such as predicting stock market trends, controlling robots in […]
Removing Points from a Delaunay Tetrahedralization
Nathan Moon and Dr. Bryan S. Morse, Computer Science A set of points in three dimensions can be tetrahedralized, or broken into non-intersecting tetrahedra, in many ways. A Delaunay tetrahedralization of a set of points is a tetrahedralization with the property that the sphere defined by each tetrahedron in the structure does not contain any […]
Automatic Sensor and Action Selection
Charles Parkinson Fry and Professor Todd Peterson, Computer Science Continuous state spaces can be quite useful in Q-learning. Many real world problems are simply not discrete. An attempt to represent continuous values using a discrete state space is inherently problematic, as the selected level of discritization will likely be imperfect and unable to adapt to […]
Structure Preserving Model Reduction in LTI Networks with Applications to Robust Network Reconstruction
Enoch Yeung and Dr. Sean Warnick, Computer Science The purpose of this project was to investigate systematic methods for finding simplified representations that accurately model the structure and input-output dynamics of high dimensional nonlinear time-invariant systems near equilibrium points. As background, the dynamics of nonlinear time-invariant systems near their equilibrium points can be approximated using […]
A Weak Structural Approach to Decentralized Control
David Ward and Dr. Sean Warnick, Computer Science The research discussed here explores the interplay between dynamical structure functions, the communication structure of a controller and the zero pattern of a controller. Precisely understanding this interplay is a necessary result to utilize dynamical structure functions to help broaden the known tractable class of decentralized control […]
A Technique for Mitigating the Curse of Dimensionality in Sequential Decision Making Problems
Anurag Rai and Dr. Sean Warnick, Computer Science There are many instances in our world today where a distinct decision must be made at each stage of a process. Any decision made has both immediate and long term impacts. Hence, when making these decisions any low present cost must be balanced with the possibly high […]
- « Previous Page
- 1
- …
- 6
- 7
- 8
- 9
- Next Page »