Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (114)
- Databases and Information Systems (89)
- Computer Engineering (74)
- Software Engineering (63)
- Social and Behavioral Sciences (44)
-
- Education (43)
- Mathematics (41)
- OS and Networks (38)
- Arts and Humanities (34)
- Life Sciences (34)
- Applied Mathematics (33)
- Communication (32)
- History (32)
- Science and Mathematics Education (32)
- Higher Education (31)
- Electrical and Computer Engineering (30)
- History of Science, Technology, and Medicine (30)
- Teacher Education and Professional Development (30)
- Communication Technology and New Media (29)
- Bioinformatics (28)
- Science and Technology Studies (28)
- Business (25)
- Numerical Analysis and Scientific Computing (21)
- Graphics and Human Computer Interfaces (19)
- Theory and Algorithms (17)
- Information Security (14)
- Operations Research, Systems Engineering and Industrial Engineering (14)
- Artificial Intelligence and Robotics (13)
- Institution
-
- Singapore Management University (77)
- Wright State University (49)
- Dartmouth College (43)
- Purdue University (38)
- Taylor University (30)
-
- University of Nebraska - Lincoln (29)
- Brigham Young University (26)
- California Polytechnic State University, San Luis Obispo (25)
- Washington University in St. Louis (23)
- Air Force Institute of Technology (18)
- Old Dominion University (17)
- California State University, San Bernardino (16)
- TÜBİTAK (16)
- City University of New York (CUNY) (15)
- New Jersey Institute of Technology (15)
- Syracuse University (13)
- Missouri University of Science and Technology (12)
- Smith College (10)
- Edith Cowan University (8)
- Technological University Dublin (8)
- University of Nevada, Las Vegas (8)
- Florida Institute of Technology (7)
- Louisiana State University (7)
- Portland State University (7)
- East Tennessee State University (6)
- Nova Southeastern University (6)
- University of New Hampshire (6)
- University of North Florida (6)
- Loyola University Chicago (5)
- Sacred Heart University (5)
- Keyword
-
- Internet (12)
- Computer Science (11)
- Technical writing (9)
- College of Engineering and Computer Science (8)
- Engineering (8)
-
- Newsletters (8)
- Science news (8)
- Security (7)
- Software engineering (7)
- Neural networks (6)
- Computer science (5)
- Data mining (5)
- Java (Computer program language) (5)
- Mobile computing (5)
- Argonne Model for Universal Solvent Extraction (AMUSE); Computer programming; Separation (Technology); Software engineering; System analysis; Systems engineering; Transuranium elements – Separation; Uranium Recovery by Extraction (UREX) (4)
- Data (4)
- Digital libraries (4)
- Education (4)
- Software (4)
- Software development (4)
- Academic – UNF – Computing (3)
- Academic – UNF – Master of Science in Computer and Information Sciences; Dissertations (3)
- Application software -- Development (3)
- Applied sciences (3)
- Archival Collections (3)
- Bioinformatics (3)
- College Ephemera (3)
- College Materials (3)
- Computer networks (3)
- Computer programming (3)
- Publication
-
- Research Collection School Of Computing and Information Systems (77)
- Department of Computer Science Technical Reports (38)
- Computer Science Technical Reports (35)
- Theses and Dissertations (29)
- ACMS Conference Proceedings 2003 (27)
-
- Faculty Publications (25)
- Kno.e.sis Publications (24)
- All Computer Science and Engineering Research (23)
- Computer Science and Engineering Faculty Publications (16)
- Theses Digitization Project (16)
- Turkish Journal of Electrical Engineering and Computer Sciences (16)
- Collaborative Agent Design (CAD) Research Center (13)
- Theses (13)
- Computer Science and Software Engineering (12)
- Electrical Engineering and Computer Science - All Scholarship (12)
- School of Computing: Technical Reports (12)
- School of Computing: Conference and Workshop Papers (11)
- Computer Science: Faculty Publications (10)
- Dartmouth College Undergraduate Theses (10)
- BITs and PCs Newsletter (8)
- Electrical & Computer Engineering Theses & Dissertations (7)
- Center for Coastal and Ocean Mapping (6)
- Dissertations (6)
- Electrical and Computer Engineering Faculty Research & Creative Works (6)
- Electronic Theses and Dissertations (6)
- Separations Campaign (TRP) (6)
- Computer Science Faculty Publications (5)
- Computer Science Faculty Publications and Presentations (5)
- Computer Science Faculty Research & Creative Works (5)
- Computer Science: Faculty Publications and Other Works (5)
- Publication Type
Articles 301 - 330 of 628
Full-Text Articles in Computer Sciences
On Querying Geospatial And Georeferenced Metadata Resources In Gportal, Zehua Liu, Ee Peng Lim, Wee-Keong Ng, Dion Hoe-Lian Goh
On Querying Geospatial And Georeferenced Metadata Resources In Gportal, Zehua Liu, Ee Peng Lim, Wee-Keong Ng, Dion Hoe-Lian Goh
Research Collection School Of Computing and Information Systems
G-Portal is a web portal system providing a range of digital library services to access geospatial and georeferenced resources on the Web. Among them are the storage and query subsystems that provide a central repository of metadata resources organized under different projects. In GPortal, all metadata resources are represented in XML (Extensible Markup Language) and they are compliant to some resource schemas de.ned by their creators. The resource schemas are extended versions of a basic resource schema making it easy to accommodate all kinds of metadata resources while maintaining the portability of resource data. To support queries over the geospatial …
On The Strategy Of Supply Hubs For Cost Reduction And Responsiveness, Earl Barnes, Jim Dai, Shijie Deng, Doug Down, Mark Goh, Hoong Chuin Lau, Sharafali Moosa
On The Strategy Of Supply Hubs For Cost Reduction And Responsiveness, Earl Barnes, Jim Dai, Shijie Deng, Doug Down, Mark Goh, Hoong Chuin Lau, Sharafali Moosa
Research Collection School Of Computing and Information Systems
A supply hub is a location generally close to a manufacturer’s facility where all or some of its supplies are warehoused with the agreement that the materials will be paid for only when consumed. Supply hub is an innovative strategy employed by especially the electronics industry to achieve cost reduction and improved responsiveness. After first tracing the developments leading to the establishment of supply hubs, the paper then describes the dynamics of the operation of supply hubs. Case examples are provided to highlight the current practices. Finally, some research issues are identified.
Tactics-Based Remote Execution For Mobile Computing, Rajesh Krishna Balan, Mahadev Satayanarayana, Soyoung Park, Tadashi Okoshi
Tactics-Based Remote Execution For Mobile Computing, Rajesh Krishna Balan, Mahadev Satayanarayana, Soyoung Park, Tadashi Okoshi
Research Collection School Of Computing and Information Systems
Remote execution can transform the puniest mobile device into a computing giant able to run resource-intensive applications such as natural language translation, speech recognition, face recognition, and augmented reality. However, easily partitioning these applications for remote execution while retaining application-specific information has proven to be a difficult challenge. In this paper, we show that automated dynamic repartitioning of mobile applications can be reconciled with the need to exploit application-specific knowledge. We show that the useful knowledge about an application relevant to remote execution can be captured in a compact declarative form calledtactics. Tactics capture the full range of meaningful partitions …
Ts-Pwlan: A Value-Add System For Providing Tiered Wireless Services In Public Hot-Spots, Arup Acharya, Chatschik Bisdikian, Archan Misra, Young-Bae Ko
Ts-Pwlan: A Value-Add System For Providing Tiered Wireless Services In Public Hot-Spots, Arup Acharya, Chatschik Bisdikian, Archan Misra, Young-Bae Ko
Research Collection School Of Computing and Information Systems
Access to data services via wireless LANs at private (e.g., corporations or home) and public "hot-spot" (e.g., hotels and airports) setting is becoming a common place daily. Data access via (for profit) public wireless LAN (PWLAN) installations is typically based on user subscription and preconfigured services profiles pertaining primarily access to the global Internet. The goal of the ts-PWLAN project is to define an architecture and a prototype implementation that enables the provision of premium and non-premium tiers of services to transient and non-transient users. ts-PWLAN provides for dynamic renegotiations of tier of services and enables various billing modes, e.g., …
Guest Editorial: Text And Web Mining, Ah-Hwee Tan, Philip S. Yu
Guest Editorial: Text And Web Mining, Ah-Hwee Tan, Philip S. Yu
Research Collection School Of Computing and Information Systems
Text mining and web mining are two interrelated fields that have received a lot of attention in recent years. Text mining [1, 2] is concerned with the analysis of very large document collections and the extraction of hidden knowledge from text-based data. Web mining [3] refers to the analysis and mining of all web-related data, including web content, hyperlink structure, and web access statistics.
On Machine Learning Methods For Chinese Document Classification, Ji He, Ah-Hwee Tan, Chew-Lim Tan
On Machine Learning Methods For Chinese Document Classification, Ji He, Ah-Hwee Tan, Chew-Lim Tan
Research Collection School Of Computing and Information Systems
This paper reports our comparative evaluation of three machine learning methods, namely k Nearest Neighbor (kNN), Support Vector Machines (SVM), and Adaptive Resonance Associative Map (ARAM) for Chinese document categorization. Based on two Chinese corpora, a series of controlled experiments evaluated their learning capabilities and efficiency in mining text classification knowledge. Benchmark experiments showed that their predictive performance were roughly comparable, especially on clean and well organized data sets. While kNN and ARAM yield better performances than SVM on small and clean data sets, SVM and ARAM significantly outperformed kNN on noisy data. Comparing efficiency, kNN was notably more costly …
Implementation E-Commerce Application Using Lotus Domino, Jianrong Dai
Implementation E-Commerce Application Using Lotus Domino, Jianrong Dai
Student Work
E-commerce technologies enable enterprises to exchange information instantaneously, eliminate paperwork, and advertise their products and services to a global market. The Domino Server family, an integrated messaging and Web application software platform, is easy to build and manage integrated, collaborative solutions. In this project, I build a basic functional Domino-powered e-commerce application named E-Bookstore. The EBookstore web site contains three main components of an e-commerce web site (catalog of items, shopping cart, and checkout function), and provides a powerful search function to the customer. The unique session ID for each E-Bookstore web user is generated and stored, and is attached …
Efficient I/O For Computational Grid Applications, Ron A. Oldfield
Efficient I/O For Computational Grid Applications, Ron A. Oldfield
Dartmouth College Ph.D Dissertations
High-performance computing increasingly occurs on "computational grids" composed of heterogeneous and geographically distributed systems of computers, networks, and storage devices that collectively act as a single "virtual" computer. A key challenge in this environment is to provide efficient access to data distributed across remote data servers. This dissertation explores some of the issues associated with I/O for wide-area distributed computing and describes an I/O system, called Armada, with the following features: a framework to allow application and dataset providers to flexibly compose graphs of processing modules that describe the distribution, application interfaces, and processing required of the dataset before or …
Enabling Remote Access To Personal Electronic Medical Records, James K. Archibald, Eric S. Hall, Charles D. Knutson, David K. Vawdrey
Enabling Remote Access To Personal Electronic Medical Records, James K. Archibald, Eric S. Hall, Charles D. Knutson, David K. Vawdrey
Faculty Publications
Millions of people suffer from medical conditions that should be made known to healthcare practitioners prior to treatment. Paramedics and emergency room doctors cannot provide optimal care without sufficient knowledge of a patient’s medical history. Lacking patient information such as allergies, current prescriptions, and preexisting conditions, medical professionals are often forced to either delay treatment or rely on instincts. Medical mistakes in situations like these kill thousands of people and cost an estimated US$37 billion each year in the United States [1]. With the advent of electronic medical records (EMRs), patient information can be stored in computer databases at hospitals …
Model-Based Human-Centered Task Automation: A Case Study In Acc System Design, Michael A. Goodrich, Erwin R. Boer
Model-Based Human-Centered Task Automation: A Case Study In Acc System Design, Michael A. Goodrich, Erwin R. Boer
Faculty Publications
Engineers, business managers, and governments are increasingly aware of the importance and difficulty of integrating technology and humans. The presence of technology can enhance human comfort, efficiency, and safety, but the absence of human factors analysis can lead to uncomfortable, inefficient, and unsafe systems. Systematic human-centered design requires a basic understanding of how humans generate and manage tasks. A very useful model of human behavior generation can be obtained by recognizing the task-specific role of mental models in not only guiding execution of skills but also managing initiation and termination of these skills. By identifying the human operator’s mental models …
Concurrently Learning Neural Nets: Encouraging Optimal Behavior In Cooperative Reinforcement Learning Systems, Nancy Fulda, Dan A. Ventura
Concurrently Learning Neural Nets: Encouraging Optimal Behavior In Cooperative Reinforcement Learning Systems, Nancy Fulda, Dan A. Ventura
Faculty Publications
Reinforcement learning agents interacting in a common environment often fail to converge to optimal system behaviors even when the individual goals of the agents are fully compatible. Claus and Boutilier have demonstrated that the use of joint action learning helps to overcome these difficulties for Q-learning systems. This paper studies an application of joint action learning to systems of neural networks. Neural networks are a desirable candidate for such augmentations for two reasons: (1) they may be able to generalize more effectively than Q-learners, and (2) the network topology used may improve the scalability of joint action learning to systems …
Ua8 Ssn Protection Committee Recommendations, Wku Information Technology
Ua8 Ssn Protection Committee Recommendations, Wku Information Technology
WKU Administration Documents
Recommendations of the Social Security Number Protection Committee.
A Performance-Driven Framework For Customizing Csp Middleware Support, Guoliang Xing
A Performance-Driven Framework For Customizing Csp Middleware Support, Guoliang Xing
All Computer Science and Engineering Research
A Distributed Constraint Satisfaction Problem (DCSP) aims to find consistent assignments of values to a set of variables distributed on multiple nodes. Despite its simple definition, DCSPs can model a broad variety of traditional artificial intelligence problems. Furthermore, many problems found in emerging sensor-actuator networks can be formalized to DCSPs. However, due to the platform limitations of networked embedded systems such as sensor-actuators networks, building real-world applications for solving DCSPs not only requires the improved DCSP algorithms but also novel system approaches. This thesis first develops a performance-driven middleware framework for solving DCSP problems. Then the prototype system built with …
Automated Annotation Of Heegaard Diagrams, Dmitry Mogilevsky '03
Automated Annotation Of Heegaard Diagrams, Dmitry Mogilevsky '03
Honors Projects
No abstract provided.
Specialized Hardware Support For Dynamic Storage Allocation, Steven M. Donahue
Specialized Hardware Support For Dynamic Storage Allocation, Steven M. Donahue
All Computer Science and Engineering Research
With the advent of operating systems and programming languages that can evaluate and guarantee real-time specifications, applications with real-time requirements can be authored in higher-level languages. For example, a version of Java suitable for real-time (RTSJ) has recently reached the status of a reference implementation, and it is likely that other implementations will follow. Analysis to show the feasibility of a given set of tasks must take into account their worst-case execution time, including any storage allocation or deallocation associated with those tasks. In this thesis, we present a hardware-based solution to the problem of storage allocation and (explicit) deallocation …
Using Contaminated Garbage Collection And Reference Counting Garbage Collection To Provide Automatic Storage Reclamation For Real-Time Systems, Matthew P. Hampton
Using Contaminated Garbage Collection And Reference Counting Garbage Collection To Provide Automatic Storage Reclamation For Real-Time Systems, Matthew P. Hampton
All Computer Science and Engineering Research
Language support of dynamic storage management simplifies the application programming task immensely. As a result, dynamic storage allocation and garbage collection have become common in general purpose computing. Garbage collection research has led to the development of algorithms for locating program memory that is no longer in use and returning the unused memory to the run-time system for late use by the program. While many programming languages have adopted automatic memory reclamation features, this has not been the trend in Real-Time systems. Many garbage collection methods involve some form of marking the objects in memory. This marking requires time proportional …
Ua1b3 Technology Advisory Committee Meeting Minutes, Western Kentucky University
Ua1b3 Technology Advisory Committee Meeting Minutes, Western Kentucky University
WKU Administration Documents
Meeting regarding the Technical Advisory Committee composition, survey results and improvements to educational technology.
Hashtables For Real-Time And Embedded Systems, Anand Krishnan
Hashtables For Real-Time And Embedded Systems, Anand Krishnan
All Computer Science and Engineering Research
Real-time are beginning to appear in advanced, high-level programming languages such as Java. When complemented by a real-time operating system, the Real-Time Specification for Java (RTSJ) offers strong execution constraints for applications developed in Java. While the RTSJ make the basic services of Java such as storage and thread management ready for many real-time applications, the collection objects, and the rest of the application run-time library, cannot be used by RTSJ applications until their run-time properties are examined and modified as necessary to make them suitable for use by real-time applications. In this work, we examine the Hashtable collection facility …
Dynamic Assignment Of Scoped Memory Regions In The Translation Of Java To Real-Time Java, Morgan G. Deters
Dynamic Assignment Of Scoped Memory Regions In The Translation Of Java To Real-Time Java, Morgan G. Deters
All Computer Science and Engineering Research
Advances in middleware, operating systems, and popular, general-purpose languages have brought the ideal of reasonably-bound execution time closer to developers who need such assurances for real-time and embedded systems applications. Extensions to the Java libraries and virtual machine have been proposed in a real-time Java standard, which provides for specification of release times, execution costs, and deadlines for a restricted class of threads. To use such features, the programmer is required to use unwieldy code constructs to create region-like areas of storage, associate them with execution scopes, and allocate objects from them. Further, the developer must ensure that they do …
P-Fastus: Information Extraction System Implemented In A Constraint Programming Language -Sicstus Prolog, Rajen Subba '03
P-Fastus: Information Extraction System Implemented In A Constraint Programming Language -Sicstus Prolog, Rajen Subba '03
Honors Projects
P-FASTUS is an Information Extraction system developed in SICStus Prolog based on the implementation of FASTUS. It is program that extracts prespecified information such as the name of the companny, location and the position being advertised from" Job PostingIs'' in text files. The system is composed of different levels of processing phases that are implemented using finite-state transducers.
Integrated Coverage And Connectivity Configuration In Wireless Sensor Networks, Xiaorui Wang, Guoliang Xing, Yuanfang Zhang, Chenyang Lu, Robert Pless, Christopher Gill
Integrated Coverage And Connectivity Configuration In Wireless Sensor Networks, Xiaorui Wang, Guoliang Xing, Yuanfang Zhang, Chenyang Lu, Robert Pless, Christopher Gill
All Computer Science and Engineering Research
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes, while the remaining nodes stay active to provide continuous service. For the sensor network to operate successfully, the active nodes must maintain both sensing coverage and network connectivity. Furthermore, the network must be able to configure itself to any feasible degrees of coverage and connectivity in order to support different applications and environments with diverse requirements. This paper presents the design and analysis of novel protocols that can dynamically configure a network to achieve guaranteed degrees of coverage and connectivity. This work differs …
Multiflow Tcp, Udp, Ip, And Atm Traffic Generation Module, Eliot I. Sinclair, John W. Lockwood
Multiflow Tcp, Udp, Ip, And Atm Traffic Generation Module, Eliot I. Sinclair, John W. Lockwood
All Computer Science and Engineering Research
Networking devices must be capable of processing traffic flows from multiple sources. In order to verify that such devices operates properly, a network testbench can be used to inject traffic into the device. The specification of the traffic flows can be difficult. At the low level, there are header fields, data checksums, and packet length fields that all must be formatted correctly. Further, there can be multiple flows of traffic that will arrive simultaneously. It is desirable to specify traffic at a high level of abstraction. A software program can then be written to parse the specification and generate the …
The Online Median Problem, Ramgopal R. Mettu, C. Greg Plaxton
The Online Median Problem, Ramgopal R. Mettu, C. Greg Plaxton
Dartmouth Scholarship
We introduce a natural variant of the (metric uncapacitated) k-median problem that we call the online median problem. Whereas the k-median problem involves optimizing the simultaneous placement of k facilities, the online median problem imposes the following additional constraints: the facilities are placed one at a time, a facility cannot be moved once it is placed, and the total number of facilities to be placed, k, is not known in advance. The objective of an online median algorithm is to minimize the competitive ratio, that is, the worst-case ratio of the cost of an online placement to …
System-On-Chip Packet Processor For An Experimental Network Services Platform, David Taylor, Alex Chandra, Yuhua Chen, Sarang Dharmapurikar, John Lockwood, Wenjing Tang, Jonathan Turner
System-On-Chip Packet Processor For An Experimental Network Services Platform, David Taylor, Alex Chandra, Yuhua Chen, Sarang Dharmapurikar, John Lockwood, Wenjing Tang, Jonathan Turner
All Computer Science and Engineering Research
As the focus of networking research shifts from raw performance to the delivery of advanced network services, there is a growing need for open-platform systems for extensible networking research. The Applied Research Laboratory at Washington University in Saint Louis has developed a flexible Network Services Platform (NSP) to meet this need. The NSP provides an extensible platform for prototyping next-generation network services and applications. This paper describes the design of a system-on-chip Packet Processor for the NSP which performs all core packet processing functions including segmentation and reassembly, packet classification, route lookup, and queue management. Targeted to a commercial configurable …
Protecting Sensitive Credential Content During Trust Negotiation, Ryan D. Jarvis
Protecting Sensitive Credential Content During Trust Negotiation, Ryan D. Jarvis
Theses and Dissertations
Keeping sensitive information private in a public world is a common concern to users of digital credentials. A digital credential may contain sensitive attributes certifying characteristics about its owner. X.509v3, the most widely used certificate standard, includes support for certificate extensions that make it possible to bind multiple attributes to a public key contained in the certificate. This feature, although convenient, potentially exploits the certificate holder's private information contained in the certificate. There are currently no privacy considerations in place to protect the disclosure of attributes in a certificate. This thesis focuses on protecting sensitive credential content during trust negotiation …
A Thesis On A 3d Input Device For Sketching Characters, Mark A. Schroering
A Thesis On A 3d Input Device For Sketching Characters, Mark A. Schroering
All Computer Science and Engineering Research
The goal of this project is to develop a 3D input device using a stiff piece of paper and a camera. The camera tracks the piece of paper in 3D space. The user orients the paper in 3D space and then draws on the paper using a pen-like device. The camera tracks the movement of the pen on the piece of paper. The location of the pen in 3D space can then be calculated from the orientation of the paper. A drawing application that uses this 3D input device was also developed. The application allows a user to make characters …
Search And Recovery Of The Space Shuttle Columbia: A Geospatial 1st Responder Perspective, Jeffrey M. Williams
Search And Recovery Of The Space Shuttle Columbia: A Geospatial 1st Responder Perspective, Jeffrey M. Williams
Faculty Publications
A first person account of the Texas geospatial volunteers and their efforts to recover the remains of the Space Shuttle Columbia and her crew lost over eastern Texas and western Louisiana on February 1st, 2003.
Icodes: A Ship Load-Planning System, Stephen Goodman, Jens G. Pohl
Icodes: A Ship Load-Planning System, Stephen Goodman, Jens G. Pohl
Collaborative Agent Design (CAD) Research Center
The Integrated Computerized Deployment System (ICODES) is a logistic software application of ship load-planning tools that utilizes intelligent software agents in a human-computer collaborative mode. As an example of a new generation of ‘information-centric’ military decision-support systems, ICODES includes expert agents with automatic reasoning and analysis capabilities. This is made possible by an internal virtual representation of the load-planning environment, in terms of ship and cargo characteristics and the complex relationships that constitute the context within which load-planning operations are performed. ICODES agents monitor the principal determinants of cargo stowage, including: the placement and segregation requirements for hazardous cargo items; …
Sils Mrat: A Shipboard Integration Of Logistics Systems And Mission Readiness Analysis Tool, Michael A. Zang, Chris K. Neff, Jens G. Pohl
Sils Mrat: A Shipboard Integration Of Logistics Systems And Mission Readiness Analysis Tool, Michael A. Zang, Chris K. Neff, Jens G. Pohl
Collaborative Agent Design (CAD) Research Center
SILS (Shipboard Integration of Logistics Systems) is an umbrella program initiated and sponsored by Dr. Phillip Abraham in the Logistics Directorate of the U.S. Office of Naval Research (ONR). The SILS vision is a system of systems that brings together shipboard and shore based data and information sources in a single integrated environment. SILS MRAT (Mission Readiness Analysis Tool) is a high-level shipboard component of SILS, which applies intelligent agent technology to the near real time decision support needs of commanding officers, department heads, and key operations & maintenance personnel. This tool demonstrates the capability of a system architecture to …
On Learning Of Functions Refutably, Sanjay Jain, Efim Kinber, Rolf Wiehagen, Thomas Zeugmann
On Learning Of Functions Refutably, Sanjay Jain, Efim Kinber, Rolf Wiehagen, Thomas Zeugmann
School of Computer Science & Engineering Faculty Publications
Learning of recursive functions refutably informally means that for every recursive function, the learning machine has either to learn this function or to refute it, that is to signal that it is not able to learn it. Three modi of making precise the notion of refuting are considered. We show that the corresponding types of learning refutably are of strictly increasing power, where already the most stringent of them turns out to be of remarkable topological and algorithmical richness. Furthermore, all these types are closed under union, though in different strengths. Also, these types are shown to be different with …