Digital Commons Network^™

The Computational Complexity Of N-K Fitness Functions, Alden H. Wright, Richard K. Thompson, Jian Zhang

Computer Science Faculty Publications

N-K fitness landscapes have been widely used as examples and test functions in the field of evolutionary computation. Thus, the computational complexity of these landscapes as optimization problems is of interest. We investigate the computational complexity of the problem of optimizing the N-K fitness functions and related fitness functions. We give an algorithm to optimize adjacent-model N-K fitness functions which is polynomial in N. We show that the decision problem corresponding to optimizing random-model N-K fitness functions is NP-complete for K > 1 and is polynomial for K = 1. If the restriction that the ith component function depends …

A Survey Of Context-Aware Mobile Computing Research, Guanling Chen, David Kotz

Computer Science Technical Reports

Context-aware computing is a mobile computing paradigm in which applications can discover and take advantage of contextual information (such as user location, time of day, nearby people and devices, and user activity). Since it was proposed about a decade ago, many researchers have studied this topic and built several context-aware applications to demonstrate the usefulness of this new technology. Context-aware applications (or the system infrastructure to support them), however, have never been widely available to everyday users. In this survey of research on context-aware systems and applications, we looked in depth at the types of context used and models of …

Automated Systematic Testing For Constraint-Based Interactive Services, Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Laufer

Computer Science: Faculty Publications and Other Works

Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must support multiple types of interfaces for accessing the same data. These include automatic speech-recognition interfaces where inputs may be provided in any order by users of the service. We study in this paper how to systematically test event-driven applications developed using such languages. We show how such applications can be tested automatically, without the need for any manually-written test cases, and effi- ciently, by taking advantage of their capability of taking unordered …

Using 'Drop-Biasing' To Stabilize The Occupancy Of Random-Drop Queues With Tcp Traffic, Archan Misra, Teunis Ott, John Baras

Research Collection School Of Computing and Information Systems

The paper describes how the use of ‘drop-biasing’, a technique to control the distribution of the gap between consecutive packet losses in random drop queues (such as RED) can be used to reduce the variability of the queue occupancy with TCP traffic. Reducing the variance of the queue occupancy reduces delay jitter for buffered packets, as well as decreases the likelihood of buffer underflow. We find that modifying the packet drop probabilities to ensure a minimum separation between consecutive packet drops serves to decrease the variability in the queue occupancy. This is really achieved as a result of the increased …

Information Retrieval And Mining In High Dimensional Databases, Xiong Wang

Dissertations

This dissertation is composed of two parts. In the first part, we present a framework for finding information (more precisely, active patterns) in three dimensional (3D) graphs. Each node in a graph is an undecoraposable or atomic unit and has a label. Edges are links between the atomic units. Patterns are rigid substructures that may occur in a graph after allowing for an arbitrary number of whole-structure rotations and translations as well as a small number (specified by the user) of edit operations in the patterns or in the graph. (When a pattern appears in a graph only after the …

Immaccs: An Experimental Multi-Agent C2 System, Jens G. Pohl, Anthony A. Wood, Kym Jason Pohl

Collaborative Agent Design (CAD) Research Center

The Integrated Marine Multi-Agent Command and Control System (IMMACCS) is a multi-agent, distributed software system, designed to provide a Common Tactical Picture (CTP) with integrated and meaningful decision-support facilities to authorized operators at any access node. IMMACCS has been implemented as a three-tier architecture that distinguishes between information, logic and presentation. It utilizes an object-serving communication facility with subscription and multi-casting capabilities that is based on the Common Object Request Broker Architecture (CORBA). With an emphasis on application, IMMACCS was designed and implemented in concert with its military users as an integral component of experiments conceived by the Marine Corps …

Semi-Regular Mesh Extraction From Volumes, Z. J. Wood, M. Desbrun, P. Schroder, D. Breen

Computer Science and Software Engineering

We present a novel method to extract iso-surfaces from distance volumes. It generates high quality semi-regular multiresolution meshes of arbitrary topology. Our technique proceeds in two stages. First, a very coarse mesh with guaranteed topology is extracted. Subsequently an iterative multi-scale force-based solver refines the initial mesh into a semi-regular mesh with geometrically adaptive sampling rate and good aspect ratio triangles. The coarse mesh extraction is performed using a new approach we call surface wavefront propagation. A set of discrete iso-distance ribbons are rapidly built and connected while respecting the topology of the iso-surface implied by the data. Subsequent multi-scale …

Robotic System Sensitivity To Neural Network Learning Rate: Theory, Simulation, And Experiments, Christopher M. Clark, James K. Mills

Computer Science and Software Engineering

Selection of neural network learning rates to obtain satisfactory performance from neural network controllers is a challenging problem. To assist in the selection of learning rates, this paper investigates robotic system sensitivity to neural network (NN) learning rate. The work reported here consists of experimental and simulation results. A neural network controller module, developed for the purpose of experimental evaluation of neural network controller performance of a CRS Robotics Corporation A460 robot, allows testing of NN controllers using real-time iterative learning. The A460 is equipped with a joint position proportional, integral, and derivative (PID) controller. The neural network module supplies …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 2, October 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

A Formal Semantics For Spki, Jon Howell, David Kotz

Dartmouth Scholarship

We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety of constructs in the Simple Public Key Infrastructure (SPKI), and lends intuition about possible extensions. We discuss both extensions that our semantics supports and extensions that it cautions against.

Side Collision Warning System For Transit Buses, Sue Mcneil, David Duggins, Christoph Mertz, Arne Suppe, Chuck Thorpe

Research Collection School Of Computing and Information Systems

Transit buses are involved in many more accidents than other vehicles. Collision warning systems (CWS) are therefore placed most efficiently on these buses. In our project, we investigate their operating environment and available technologies to develop performance specifications for such CWS. The paper discusses our findings of transit buses driving through very cluttered surroundings and being involved in many different types of accidents where currently available CWS no not work effectively. One of the focuses of our work is pedestrians around the bus and their detection.

The Cracker Patch Choice: An Analysis Of Post Hoc Security Techniques, Crispin Cowan, Heather Hinton, Calton Pu, Jonathan Walpole

Computer Science Faculty Publications and Presentations

It has long been known that security is easiest to achieve when it is designed in from the start. Unfortunately, it has also become evident that systems built with security as a priority are rarely selected for wide spread deployment, because most consumers choose features, convenience, and performance over security. Thus security officers are often denied the option of choosing a truly secure solution, and instead must choose among a variety of post hoc security adaptations. We classify security enhancing methods, and compare and contrast these methods in terms of their effectiveness vs. cost of deployment. Our analysis provides practitioners …

Exception Handling In Workflow Systems, Zongwei Luo, Amit P. Sheth, Krzysztof J. Kochut, John A. Miller

Kno.e.sis Publications

In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the “justified” ECA rules to capture more contexts in workflow modeling, defeasible workflow uses context dependent reasoning to enhance the exception handling capability of workflow management systems. In particular, this limits possible alternative exception handler candidates in dealing with exceptional situations. Furthermore, a case-based reasoning (CBR) mechanism with integrated human involvement is used to improve the exception handling capabilities. This involves collecting cases to capture experiences in handling exceptions, retrieving similar prior exception handling cases, and reusing the exception handling experiences …

Sistem Perpustakaan Maya (Pengkhususan Kertas-Kertas Teknikal), Talib Noor Azimah

Student Works (2000-2009)

Perkembangan teknologi pada masa kini begitu pantas berlari mengikut arus peredaran zaman. Pelbagai perisian sistem yang telah dihasilkan mengikut keperluan, kehendak dan kesesuaian masa. Keadaan inilah yang telah memungkinkan pembangunan sebuah Sistem Perpustakaan Maya (SPMA) di mana ia merupakan sistem bermaklumat secara atas talian (online). SPMA merupakan sebuah sistem di atas talian yang memainkan peranan bagi membekalkan pelbagai sumber maklumat berbentuk kertas teknikal (technical paper) seperti yang dikehendaki oleh pengguna. Sistem ini dibangunkan di atas talian adalah bertujuan supaya ia boleh dicapai oleh para pengguna dari seluruh dunia. Matlamat utama sistem ini adalah bagi membantu memudahkan pengguna di dalam mencapai …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 1, September 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A fourteen page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Validation And Verification Of Formal Specifications In Object-Oriented Software Engineering, Steven A. Thomson

Theses and Dissertations

The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (V&V). The …

Distributed Development And Deployment Of Ontologies For Knowledge-Based Systems, Sameh El-Ansary

Archived Theses and Dissertations

No abstract provided.

Knowledge Discovery In Biological Databases : A Neural Network Approach, Qicheng Ma

Dissertations

Knowledge discovery, in databases, also known as data mining, is aimed to find significant information from a set of data. The knowledge to be mined from the dataset may refer to patterns, association rules, classification and clustering rules, and so forth. In this dissertation, we present a neural network approach to finding knowledge in biological databases. Specifically, we propose new methods to process biological sequences in two case studies: the classification of protein sequences and the prediction of E. Coli promoters in DNA sequences. Our proposed methods, based oil neural network architectures combine techniques ranging from Bayesian inference, coding theory, …

Pengkalan Web Bermaklumat Untuk Pmr (Bahasa Inggeris), Shuaid Ema Shuaida

Student Works (2000-2009)

Dunia sekarang sedang menuju ke era yang lebih digital di mana teknologi maklumat menjadi satu wadah yang penting terutamanya di dalam bidang pendidikan. Bidang pendidikan juga maju setapak ke hadapan dengan penggunaan pengajaran yang berasaskan multimedia dan CD-Rom. la termasuk dengan kewujudan laman web yang berasaskan grafik dan teks yang menarik. Oleh itu, projek yang bakal dibangunkan ini iaitu Pangkalan Web Bermaklumat untuk Pelajar Penilaian Menengah Rendah (PMR), khusus untuk mata pelajaran bahasa lnggeris juga memberi banyak kemudahan dan kebaikan kepada pelajar-pelajar dan guru-guru yang memerlukannya. Objektif utama projek ini ialah untuk membangunkan pangkalan web yang menarik, padat, teliti dan …

Pakej Bantuan Pembelajaran Bagi Kanak-Kanak, Rameli Norma

Student Works (2000-2009)

Pakej Bantuan Pembelajaran Bagi Kanak-kanak Tadika(PBPKT) ini adalah merupakan satu alat bantuan yang dibangunkan dengan menggunakan perisian Director 7.0. Ia boleh menjadi alat perantara kepada para guru dan ibubapa untuk mendidik kanak-kanak dalam bentuk yang lebih menarik kerana ianya mempunyai pelbagai daya tarikan seperti bunyi, suara, gambar, animasi, lagu dan video bagi memudahkan kanak-kanak mertlahami apa yang hendak disampaikan. Selain itu juga mereka boleh berinteraksi dengan pakej ini. PBPKT ini mempunyai empat modul utama yang meliputi subjek seperti huruf, nombor, bentuk dan warna, yang mana subjek-subjek ini merupakan silibus bagi peringkat pra-sekolah. Pakej ini juga akan mendekati kanak-kanak secara psikologi. …

Webwordpro Version 2.0 The Web-Based Word Processing System, Koon How Lin

Student Works (2000-2009)

Nowadays in this era of information technology computerized word processors have become a very common and essential need to everyone. From leisure to serious manner, it is used for typing letters, assignments, reports, paperwork and etc. It also enables people to keep data and manage it in a more secure and efficient way. With the current popularity and expansion of the Internet, Web-based applications become a new platform for the evolution of business system. Well, from this point, come the idea of providing the word processing system through Internet or online. WebWordPro 2.0, which is the upgraded version of Web …

Pakej Pembelajaran Rangkaian Komputer Dan Komunikasi Data (Rangkomdata), Jusoh Noorakmal

Student Works (2000-2009)

Penggunaan perisian yang berbentuk CD atau web semakin mendapat perhatian dan sambutan terutamanya dikalangan pelajar. Namun begitu pakej pembelajaran terutamanya dalam Bahasa Melayu untuk pelajar lPT masih lagi berkurangan di pasaran Menyedari hakikat inilah ia mendorong saya untuk membangunkan pakej pembelajaran bermultimedia seperti ini. Berdasarkan kepada kajian yang dijalankan, sambutan dari kalangan pelajar adalah begitu menggalakkan. Projek yang dibangunkan ini, adalah bertajuk Pakej Pembelajaran Rangkaian Komputer dan Komunikasi Data atau panggilan ringkasnya Pakej RANGKOMDATA Bermultimedia. Perisian ini adalah diharapkan dapat rnembantu proses pembelajaran para pelajar jurusan sains komputer dan teknologi maklumat yang mengikuti kurus ini. Pakej RANGKOMDATA ini adalah satu …

A Meta-Analysis On Relationship Modeling Accuracy: Comparing Relational And Semantic Models, Qing Cao, Fiona Fui-Hoon Nah, Keng Siau

Research Collection School Of Computing and Information Systems

Semantic data modeling, such as entity-relationship (ER) modeling and extended/enhanced entity-relationship (EER) modeling, has emerged as an alternative to relational data modeling. The majority of research in data modeling suggests that the use of semantic data models leads to better performance. However the findings are not conclusive and sometimes inconsistent. In this research, we investigate modeling relationship correctness in relational and semantic models. The meta-analysis carried out in this research is an attempt to alleviate inconsistent results in previous studies.

Telemip: Telecommunications-Enhanced Mobile Ip Architecture For Fast Intradomain Mobility, Subir Das, Archan Misra, Prathima Agrawal, Sajal K. Das

Research Collection School Of Computing and Information Systems

This article first surveys existing protocols for supporting IP mobility and then proposes an extension to the mobile IP architecture, called TeleMIP. Our architecture attempts to achieve smaller handoff latency by localizing the scope of most location update messages within an administrative domain or a geographical region. TeleMIP is intended for use in evolving third-generation wireless networks, and introduces a new logical entity, called the mobility agent, which provides a mobile node with a stable point of attachment in a foreign network. While the MA is functionally similar to conventional foreign agents, it is located at a higher level in …

Is Information Systems A Science? An Inquiry Into The Nature Of The Information Systems Discipline, Deepak Khazanchi, Bjørn Erik Munkvold

Information Systems and Quantitative Analysis Faculty Publications

The Information Systems (IS) discipline is apparently undergoing an identity crisis. Academicians question the need for IS departments in colleges stating the absence of a core for the field and its integration within other business functions as a basis for its elimination. At the same time, many practitioners, as reflected in the US government's recent IT labor shortage report, continue to ignore IS as a distinct field of study. This article briefly outlines these and other challenges and argues that notwithstanding underlying philosophical differences, it can be concluded that IS is an emerging scientific discipline. This conclusion is reached through …

Traffic Scheduling And Link Sharing Mechanisms For Controlled Load Service, Yun Choong Chin

Student Works (2000-2009)

The project studies and develops a simulator based on the link-sharing and traffic scheduling mechanism for Controlled Load service. The simulation adopts some of the features of the Class Based Queueing. The main factors that determine whether a packet scheduling algorithm is able to support integrated services or differentiated services on Internet is the ability to provide bandwidth guarantee. It is important to provide guarantee for minimum bandwidth when there are enough demands to ensure competing data flows do· not degrade each others' performance. The objective of this project is to observe the performance of the link-sharing and traffic scheduling …

Cryptanalysis Of The M-Permutation Protection Schemes, Hongjun Wu, Feng Bao, Dingfeng Ye, Robert H. Deng

Research Collection School Of Computing and Information Systems

Anderson and Kuhn have proposed the EEPROM modification attack to recover the secret key stored in the EEPROM. At ACISP ’98, Fung and Gray proposed an m-permutation protection scheme against the EEPROM modification attack. At ACISP ’99, Fung and Gray pointed out that in their original scheme, a secret key with too small or too large Hamming weight could be recovered easily. Then they proposed a revised m- permutation protection scheme and claimed that their revised scheme does not leak any information of the secret key. In this paper, we break completely both the original and the revised …

Buckets: Smart Objects For Digital Libraries, Michael L. Nelson

Computer Science Theses & Dissertations

Discussion of digital libraries (DLs) is often dominated by the merits of various archives, repositories, search engines, search interfaces and database systems. While these technologies are necessary for information management, information content and information retrieval systems should progress on independent paths and each should make limited assumptions about the status or capabilities of the other. Information content is more important than the systems used for its storage and retrieval. Digital information should have the same long-term survivability prospects as traditional hardcopy information and should not be impacted by evolving search engine technologies or vendor vagaries in database management systems.

Digital …

Hybrid Probabilistic Programs, Alex Dekhtyar, V. S. Subrahmanian

Computer Science and Software Engineering

The precise probability of a compound event (e.g. e1 V e2,e1 Ʌ e2) depends upon the known relationships (e.g. independence, mutual exclusion, ignorance of any relationship, etc.) between the primitive events that constitute the compound event. To date, most research on probabilistic logic programming has assumed that we are ignorant of the relationship between primitive events. Likewise, most research in AI (e.g. Bayesian approaches) has assumed that primitive events are independent. In this paper, we propose a hybrid probabilistic logic programming language in which the user can explicitly associate, with any given probabilistic strategy, a conjunction and disjunction operator, and …

Justifying Electronic Banking Network Expansion Using Real Option Pricing: An Empirical Illustration, Michel Benaroch, Robert J. Kauffman

Research Collection School Of Computing and Information Systems

The application of real options analysis to information technology investment evaluation problems recently has been proposed in the IS literature (Chalasani et al. 1997; Dos Santos 1991; Kambil et al. 1993; Kumar 1996; Taudes 1998). The research reported on in this paper illustrates the value of applying real options analysis in the context of a case study involving the deployment of point-of-sale (POS) debit services by the Yankee 24 shared electronic banking network of New England. In the course of so doing, the paper also attempts to operationalize real options analysis concepts by examining claimed strengths of this analysis approach …