Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons™

Open Access. Powered by Scholars. Published by Universities.®

2002

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 301 - 330 of 497

Full-Text Articles in Computer Sciences

Tr-2002008: Investigation Of The Sensitivity Of The Monte Carlo Solution For The Barker-Ferry Equation Using Different Sequential And Parallel Pseudo-Random Number Generators, T. V. Gurov, P. A. Whitlock Jan 2002

Tr-2002008: Investigation Of The Sensitivity Of The Monte Carlo Solution For The Barker-Ferry Equation Using Different Sequential And Parallel Pseudo-Random Number Generators, T. V. Gurov, P. A. Whitlock

Computer Science Technical Reports

No abstract provided.

Go to article

Characterizing Logic Programming Semantics With Level Mappings, Pascal Hitzler, Matthias Wendt Jan 2002

Characterizing Logic Programming Semantics With Level Mappings, Pascal Hitzler, Matthias Wendt

Computer Science and Engineering Faculty Publications

Declarative semantics in logic programming and nonmonotonic reasoning are often defined via fixed points of semantic operators. While many relationships between different semantics known from the literature have been studied, a uniform treatment is still missing. In this paper, we provide uniform operator-free characterizations for some of the most important semantics, more precisely, for the stable, the well-founded, and the Fitting semantics, for the weakly-perfect model semantics, and for the least model semantics for negation-free programs.

Go to article

Integration Of Naradabrokering And Audio/Video Conferencing As A Web Service, Hasan Bulut, Geoffrey C. Fox, Shrideep Pallickara, Ahmet Uyar, Wenjun Wu Jan 2002

Integration Of Naradabrokering And Audio/Video Conferencing As A Web Service, Hasan Bulut, Geoffrey C. Fox, Shrideep Pallickara, Ahmet Uyar, Wenjun Wu

Electrical Engineering and Computer Science - All Scholarship

Audio/Video Conferencing Systems need communication channels between their clients in order to transport RTP packets from one client to another. In this paper we investigate audio/video conferencing as a Web Service and the deployment of publish/subscribe systems in the context of audio/video conferencing systems. In this paper we use our research system NaradaBrokering, which supports both peer-to-peer and publish/subscribe paradigms, as a test bed to investigate these ideas. We also present results from our research system.

Go to article

Building Decision Tree Classifier On Private Data, Wenliang Du, Zhijun Zhan Jan 2002

Building Decision Tree Classifier On Private Data, Wenliang Du, Zhijun Zhan

Electrical Engineering and Computer Science - All Scholarship

This paper studies how to build a decision tree classifier under the following scenario: a database is vertically partitioned into two pieces, with one piece owned by Alice and the other piece owned by Bob. Alice and Bob want to build a decision tree classifier based on such a database, but due to the privacy constraints, neither of them wants to disclose their private pieces to the other party or to any third party. We present a protocol that allows Alice and Bob to conduct such a classifier building without having to compromise their privacy. Our protocol uses an untrusted …

Go to article

Information-Theoretic Bounds On The Training And Testing Error Of Boosting, Sebastien M. Lahaie Jan 2002

Information-Theoretic Bounds On The Training And Testing Error Of Boosting, Sebastien M. Lahaie

Dartmouth College Undergraduate Theses

Boosting is a means of using weak learners as subroutines to produce a strong learner with markedly better accuracy. Recent results showing the connection between logistic regression and boosting provide the foundation for an information-theoretic analysis of boosting. We describe the analogy between boosting and gambling, which allows us to derive a new upper bound on training error. This upper bound explicitly describes the effect of noisy data on training error. We also use information-theoretic techniques to derive an alternative upper-bound on testing error which is independent of the size of the weak-learner space.

Go to article

Human-Robot Interaction: Final Report For Darpa/Nsf Study On Human-Robot Interaction, Erika Rogers, Robin R. Murphy Jan 2002

Human-Robot Interaction: Final Report For Darpa/Nsf Study On Human-Robot Interaction, Erika Rogers, Robin R. Murphy

Computer Science and Software Engineering

No abstract provided.

Go to article

Animated Vehicle Turning Path Simulation System On An Internet/Intranet Browser, Yuwen Deng Jan 2002

Animated Vehicle Turning Path Simulation System On An Internet/Intranet Browser, Yuwen Deng

Theses Digitization Project

The animated vehicle turning path simulation system on Internet/Intranet web browser presented in this project is intended to provide civil engineers with an easy-to-use, all functional simulation system that could help them with highway and street design.

Go to article

Cognitive Rehab Solutions: A Computer-Assisted Cognitive Training Program, Avani Rajnikant Patel Jan 2002

Cognitive Rehab Solutions: A Computer-Assisted Cognitive Training Program, Avani Rajnikant Patel

Theses Digitization Project

The purpose of this project is to offer a functionally comprehensive application, Cognitive Rehab Solutions (CRS), that is designed for neuropsychologists to deliver restorative cognitive training in areas of attention and memory of persons with brain impairment.

Go to article

The Fixed-Point Theorems Of Priess-Crampe And Ribenboim In Logic Programming, Pascal Hitzler, Anthony K. Seda Jan 2002

The Fixed-Point Theorems Of Priess-Crampe And Ribenboim In Logic Programming, Pascal Hitzler, Anthony K. Seda

Computer Science and Engineering Faculty Publications

Sibylla Priess-Crampe and Paulo Ribenboim recently established a general fixed-point theorem for multivalued mappings defined on generalized ultrametric spaces, and introduced it to the area of logic programming semantics. We discuss, in this context, the applications which have been made so far of this theorem and of its corollaries. In particular, we will relate these results to Scott-Ershov domains, familiar in programming language semantics, and to the generalized metrics of Khamsi, Kreinovich, and Misane which have been applied, by these latter authors, to logic programming. Amongst other things, we will also show that a unified treatment of the fixed-point theory …

Go to article

Data Warehouse Applications In Modern Day Business, Carla Mounir Issa Jan 2002

Data Warehouse Applications In Modern Day Business, Carla Mounir Issa

Theses Digitization Project

Data warehousing provides organizations with strategic tools to achieve the competitive advantage that organazations are constantly seeking. The use of tools such as data mining, indexing and summaries enables management to retrieve information and perform thorough analysis, planning and forcasting to meet the changes in the market environment. in addition, The data warehouse is providing security measures that, if properly implemented and planned, are helping organizations ensure that their data quality and validity remain intact.

Go to article

Multi-Database Support In The Recursive Multi-Threaded Software Process Management Tool, Yi-Chiun Kuo Jan 2002

Multi-Database Support In The Recursive Multi-Threaded Software Process Management Tool, Yi-Chiun Kuo

Theses Digitization Project

The Recursive Multi-Threaded (RMT) software process management tool gives software developers the following capabilities: break a large project into a sequence of prototypes (or threads) track these threads individually, and estimate the progress and completion date of the project from these individual threads. The goal of this project is to provide the RMT Tool with an ability to support multi-database for collaborative software development. As a demonstration, actual data is used from several previous algorithma projects.

Go to article

The Development, Design, And Theory Of Educational Interactive Multimedia Software, William James Chapman Jan 2002

The Development, Design, And Theory Of Educational Interactive Multimedia Software, William James Chapman

Theses Digitization Project

This project provides teachers and students with background information regarding software design. Specifically it will focus on design theory including content, interface, graphics, animation, navigation, and audio issues which may arise during the design and construction of educational multimedia software. The design issues represented here are demonstrated in the software "You can make a difference ... Human Rights".

Go to article

Tr-2002004: On The Effectiveness Of Tangible Interfaces In Collaborative Learning Environments, Lori L. Scarlatos, Shalva S. Landy, Julia Breban, Robin Horowitz, Chanie Sandberg Jan 2002

Tr-2002004: On The Effectiveness Of Tangible Interfaces In Collaborative Learning Environments, Lori L. Scarlatos, Shalva S. Landy, Julia Breban, Robin Horowitz, Chanie Sandberg

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002007: Ubiquitous Puzzle Pieces: 3d Tangible Interfaces For Collaborative Learning Environments, Lori L. Scarlatos, Shalva S. Landy, Saira Qureshi Jan 2002

Tr-2002007: Ubiquitous Puzzle Pieces: 3d Tangible Interfaces For Collaborative Learning Environments, Lori L. Scarlatos, Shalva S. Landy, Saira Qureshi

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002011: Corpus-Based Ambiguity Resolution Of Biomedical Terms Using Knowledge Bases And Machine Learning, Hongfang Liu Jan 2002

Tr-2002011: Corpus-Based Ambiguity Resolution Of Biomedical Terms Using Knowledge Bases And Machine Learning, Hongfang Liu

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002012: The Aggregation And Cancellation Techniques As A Practical Tool For Faster Matrix Multiplication, Igor Kaporin Jan 2002

Tr-2002012: The Aggregation And Cancellation Techniques As A Practical Tool For Faster Matrix Multiplication, Igor Kaporin

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002013: Toward A High-Performance System For Symbolic And Statistical Modeling, Neng-Fa Zhou, Taisuke Sato Jan 2002

Tr-2002013: Toward A High-Performance System For Symbolic And Statistical Modeling, Neng-Fa Zhou, Taisuke Sato

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002015: Residual Correction Algorithms For General And Structured Matrices, V. Y. Pan, M. Kunin, R. E. Rosholt, H. Cebecioglu Jan 2002

Tr-2002015: Residual Correction Algorithms For General And Structured Matrices, V. Y. Pan, M. Kunin, R. E. Rosholt, H. Cebecioglu

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002017: Nearly Optimal Toeplitz/Hankel Computations, Victor Y. Pan Jan 2002

Tr-2002017: Nearly Optimal Toeplitz/Hankel Computations, Victor Y. Pan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002016: Optimization Of Basis Functions For Both Reconstruction And Visualization, Edgar Garduño, Gabor T. Herman Jan 2002

Tr-2002016: Optimization Of Basis Functions For Both Reconstruction And Visualization, Edgar Garduño, Gabor T. Herman

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002019: Improved Algorithms For Computing Determinants And Resultants, Ioannis Z. Emiris, Victor Y. Pan Jan 2002

Tr-2002019: Improved Algorithms For Computing Determinants And Resultants, Ioannis Z. Emiris, Victor Y. Pan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002020: Inverse Power And Durand-Kerner Iterations For Univariate Polynomial Root-Finding, D. A. Bini, L. Gemignani, V. Y. Pan Jan 2002

Tr-2002020: Inverse Power And Durand-Kerner Iterations For Univariate Polynomial Root-Finding, D. A. Bini, L. Gemignani, V. Y. Pan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002006: States Of Knowledge, Rohit Parikh Jan 2002

Tr-2002006: States Of Knowledge, Rohit Parikh

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002009: A Formal Semantics For Uml With Real-Time Constructs, Subash Shankar Jan 2002

Tr-2002009: A Formal Semantics For Uml With Real-Time Constructs, Subash Shankar

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002010: Programming Finite-Domain Constraint Propagators In Action Rules, Neng-Fa Zhou Jan 2002

Tr-2002010: Programming Finite-Domain Constraint Propagators In Action Rules, Neng-Fa Zhou

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002014: Iterative Inversion Of Structured Matrices, Gianni Codevico, Victor Y. Pan, Marc Van Barel, Xinmao Wang Jan 2002

Tr-2002014: Iterative Inversion Of Structured Matrices, Gianni Codevico, Victor Y. Pan, Marc Van Barel, Xinmao Wang

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2002018: How Frequently Is A Matrix Nonsingular?, Xinmao Wang Jan 2002

Tr-2002018: How Frequently Is A Matrix Nonsingular?, Xinmao Wang

Computer Science Technical Reports

No abstract provided.

Go to article

Ventures Into Capturing Effort In Programming, Barbara Bernal-Thomas, Briana B. Morrison Jan 2002

Ventures Into Capturing Effort In Programming, Barbara Bernal-Thomas, Briana B. Morrison

Computer Science Faculty Proceedings & Presentations

The quest for teaching a method of data collection in programming experiences was marked with successes and failures. We believe that software development curricula must provide students with knowledge and experience related to the practice of data collection, which will measure the effort put into a software project. By recording their past effort in software projects, students can more accurately estimate the amount of effort and time required to complete a future software project. Students can also learn the amount of effort required to develop “correct” software and begin to estimate the amount of time required, per software phase, to …

Go to article

Medtextus: An Ontology-Enhanced Medical Portal, Gondy Leroy, Hsinchun Chen Jan 2002

Medtextus: An Ontology-Enhanced Medical Portal, Gondy Leroy, Hsinchun Chen

CGU Faculty Publications and Research

In this paper we describe MedTextus, an online medical search portal with dynamic search and browse tools. To search for information, MedTextus lets users request synonyms and related terms specifically tailored to their query. A mapping algorithm dynamically builds the query context based on the UMLS ontology and then selects thesaurus terms that fit this context. Users can add these terms to their query and meta-search five medical databases. To facilitate browsing, the search results can be reviewed as a list of documents per database, as a set of folders into which all the documents are automatically categorized based on …

Go to article

Evaluating Java Applets For Teaching On The Internet, Michael R. Healy '04, Dale E. Berger, Victoria L. Romero '07, Christopher L. Aberson '99, Amanda Saw '11 Jan 2002

Evaluating Java Applets For Teaching On The Internet, Michael R. Healy '04, Dale E. Berger, Victoria L. Romero '07, Christopher L. Aberson '99, Amanda Saw '11

CGU Faculty Publications and Research

The Web Interface for Statistics Education (http://wise.cgu.edu) is a website built around interactive tutorials designed to teach introductory and advanced statistical concepts. The tutorials use Java applets that dynamically illustrate the statistical concepts being taught. By using Java applets, we teach statistics in a manner not possible in a traditional classroom environment. In this paper, we provide examples of the applets, illustrate how students use them, and we report the outcome of a study that examined tutorial effectiveness as a learning tool.

Go to article

First Prev Next Last