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

Physical Sciences and Mathematics Commons™

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

Artificial Intelligence and Robotics

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 8251 - 8280 of 8476

Full-Text Articles in Physical Sciences and Mathematics

Rapid Prototyping For The Design Of Virtual Worlds, Prabhu V. Krishnan Apr 2005

Rapid Prototyping For The Design Of Virtual Worlds, Prabhu V. Krishnan

Electrical & Computer Engineering Theses & Dissertations

Development of Virtual Reality (VR) applications is challenging where application developers are required to have expertise in the target VR technologies along with the problem domain expertise. New VR technologies impose a significant learning curve to even the most experienced VR developer. The proposed solution relies on synthesis to automate the migration of a VR application to a new unfamiliar VR platform/technology. To solve the problem, the Common Scene Definition Framework (CSDF) was developed, that serves as a superset/model representation of the target virtual world. Input modules were developed to populate the framework with the capabilities of the virtual world …

Go to article

The Ames Mer Microscopic Imager Toolkit, Randy Sargent, Matt Deans, Clay Kunz, Ken Herkenhoff Feb 2005

The Ames Mer Microscopic Imager Toolkit, Randy Sargent, Matt Deans, Clay Kunz, Ken Herkenhoff

Randy Sargent

The Mars Exploration Rovers, spirit and opportunity, have spent several successful months on Mars, returning gigabytes of images and spectral data to scientists on Earth. One of the instruments on the MER rovers, the Athena microscopic imager (MI), is a fixed focus, megapixel camera providing a ±3mm depth of field and a 31×31 mm field of view at a working distance of 63 mm from the lens to the object being imaged. In order to maximize the science return from this instrument, we developed the Ames MI toolkit and supported its use during the primary mission. The MI toolkit is …

Go to article

Unifying An Introduction To Artificial Intelligence Course Through Machine Learning Laboratory Experiences, Ingrid Russell, Zdravko Markov, Todd W. Neller, Michael Georgiopoulos, Susan Coleman Jan 2005

Unifying An Introduction To Artificial Intelligence Course Through Machine Learning Laboratory Experiences, Ingrid Russell, Zdravko Markov, Todd W. Neller, Michael Georgiopoulos, Susan Coleman

Computer Science Faculty Publications

This paper presents work on a collaborative project funded by the National Science Foundation that incorporates machine learning as a unifying theme to teach fundamental concepts typically covered in the introductory Artificial Intelligence courses. The project involves the development of an adaptable framework for the presentation of core AI topics. This is accomplished through the development, implementation, and testing of a suite of adaptable, hands-on laboratory projects that can be closely integrated into the AI course. Through the design and implementation of learning systems that enhance commonly-deployed applications, our model acknowledges that intelligent systems are best taught through their application …

Go to article

Fibonacci In Contextures, An Application, Rudolf Kaehr Jan 2005

Fibonacci In Contextures, An Application, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Go to article

Contextures. Programming Dynamic Complexity, Rudolf Kaehr Jan 2005

Contextures. Programming Dynamic Complexity, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Go to article

Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr Jan 2005

Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr

Rudolf Kaehr

Gödel's Proofs in the context of beautifying (Hehner) and re-beautifying in polycontextural logic. Deconstruction of the relevance.

Go to article

Lambda Calculi In Polycontextural Situations, Rudolf Kaehr Jan 2005

Lambda Calculi In Polycontextural Situations, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Go to article

Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr Jan 2005

Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Go to article

Review Of Sweet Dreams: Philosophical Obstacles To A Science Of Consciousness, Leslie Marsh Jan 2005

Review Of Sweet Dreams: Philosophical Obstacles To A Science Of Consciousness, Leslie Marsh

Leslie Marsh

The question of how a physical system gives rise to the phenomenal or experiential (olfactory, visual, somatosensitive, gestatory and auditory), is considered the most intractable of scientific and philosophical puzzles. Though this question has dominated the philosophy of mind over the last quarter century, it articulates a version of the age-old mind–body problem. The most famous response, Cartesian dualism, is on Daniel Dennett’s view still a corrosively residual and redundant feature of popular (and academic) thinking on these matters. Fifteen years on from his anti-Cartesian theory of consciousness (Consciousness Explained, 1991), Dennett’s frustration with this tradition is still palpable. This …

Go to article

Artificial Neural Networks : A Comparative Study Of Implementations For Human Chromosome Classification, Nancy Akl Jan 2005

Artificial Neural Networks : A Comparative Study Of Implementations For Human Chromosome Classification, Nancy Akl

Theses : Honours

Artificial neural networks are a popular field of artificial intelligence and have commonly been applied to solve many prediction, classification and diagnostic tasks. One such task is the analysis of human chromosomes. This thesis investigates the use of artificial neural networks (ANNs) as automated chromosome classifiers. The investigation involves the thorough analysis of seven different implementation techniques. These include three techniques using artificial neural networks, two techniques using ANN s supported by another method and two techniques not using ANNs. These seven implementations are evaluated according to the classification accuracy achieved and according to their support of important system measures, …

Go to article

An Assessment Of Case-Based Reasoning For Spam Filtering, Sarah Jane Delany, Padraig Cunningham, Lorcan Coyle Jan 2005

An Assessment Of Case-Based Reasoning For Spam Filtering, Sarah Jane Delany, Padraig Cunningham, Lorcan Coyle

Articles

Because of the changing nature of spam, a spam filtering system that uses machine learning will need to be dynamic. This suggests that a case-based (memory-based) approach may work well. Case-Based Reasoning (CBR) is a lazy approach to machine learning where induction is delayed to run time. This means that the case base can be updated continuously and new training data is immediately available to the induction process. In this paper we present a detailed description of such a system called ECUE and evaluate design decisions concerning the case representation. We compare its performance with an alternative system that uses …

Go to article

A Context-Dependent Model Of Proximity In Physically Situated Environments, John D. Kelleher, Geert-Jan M. Kruijff Jan 2005

A Context-Dependent Model Of Proximity In Physically Situated Environments, John D. Kelleher, Geert-Jan M. Kruijff

Conference papers

The paper presents a computational model for a context-dependent analysis of a physical environment in terms of spatial proximity. The model provides a basis for grounding linguistic analyses of spatial expressions in visual perception. The model uses potential fields to model spatial proximity. It has been implemented, and when combined with a handcrafted grammar, is used to enable a conversational robot to carry out a situated dialogue with a human. The key concept in our approach is defining the region that is proximal to a landmark based on the spatial configuration of other objects in the scene. The model extends …

Go to article

Critical Questions In Computational Models Of Legal Argument, Douglas Walton, Thomas F. Gordon Jan 2005

Critical Questions In Computational Models Of Legal Argument, Douglas Walton, Thomas F. Gordon

CRRAR Publications

Two recent computational models of legal argumentation, by Verheij and Gordon respectively, have interpreted critical questions as premises of arguments that can be defeated using Pollock’s concepts of undercutters and rebuttals. Using the scheme for arguments from expert opinion as an example, this paper evaluates and compares these two models of critical questions from the perspective of argumentation theory and competing legal theories about proof standardsfor defeating presumptions. The applicable proof standard is found to be a legal issue subject to argument. Verheij’smodel is shown to have problems because the proof stan-dards it applies to different kinds of premises are …

Go to article

Terminator Or Super Mario: Human/Computer Hybrids, Actual And Virtual, Noreen L. Herzfeld Jan 2005

Terminator Or Super Mario: Human/Computer Hybrids, Actual And Virtual, Noreen L. Herzfeld

Theology Faculty Publications

Is a human/computer hybrid feasible: If so, in what ways would such hybridization affect our concept of what it means to be human? There are two forms of such hybridization, the actual and the virtual. Actual hybridization involves the implantation of mechanical devices in the human body. In actual hybridization the computer comes to us and to our body to enhance our functioning in our world. In virtual hybridization we go to the computer, projecting our minds into the world of cyberspace and being formed there. Perhaps the most common form of virtual hybridization is the immersion our children experience …

Go to article

A Multi-Agent Approach For Solving Optimization Problems Involving Expensive Resources, Hoong Chuin Lau, H. Wang Jan 2005

A Multi-Agent Approach For Solving Optimization Problems Involving Expensive Resources, Hoong Chuin Lau, H. Wang

Research Collection School Of Computing and Information Systems

In this paper, we propose a multi-agent approach for solving a class of optimization problems involving expensive resources, where monolithic local search schemes perform miserably. More specifically, we study the class of bin-packing problems. Under our proposed Fine-Grained Agent System scheme, rational agents work both collaboratively and selfishly based on local search and mimic physics-motivated systems. We apply our approach to a generalization of bin-packing - the Inventory Routing Problem with Time Windows - which is an important logistics problem, and demonstrate the efficiency and effectiveness of our approach.

Go to article

Human Mental Models Of Humanoid Robots, Sau-Lai Lee, Ivy Yee-Man Lau, Sara Kiesler, Chi-Yue Chiu Jan 2005

Human Mental Models Of Humanoid Robots, Sau-Lai Lee, Ivy Yee-Man Lau, Sara Kiesler, Chi-Yue Chiu

Research Collection School of Social Sciences

Effective communication between a person and a robot may depend on whether there exists a common ground of understanding between the two. In two experiments modelled after human-human studies we examined how people form a mental model of a robot's factual knowledge. Participants estimated the robot's knowledge by extrapolating from their own knowledge and from information about the robot's origin and language. These results suggest that designers of humanoid robots must attend not only to the social cues that robots emit but also to the information people use to create mental models of a robot.

Go to article

Robust Temporal Constraint Networks, Hoong Chuin Lau, Thomas Ou, Melvyn Sim Jan 2005

Robust Temporal Constraint Networks, Hoong Chuin Lau, Thomas Ou, Melvyn Sim

Research Collection School Of Computing and Information Systems

In this paper, we propose the Robust Temporal Constraint Network (RTCN) model for simple temporal constraint networks where activity durations are bounded by random variables. The problem is to determine whether such temporal network can be executed with failure probability less than a given 0 ≤ E ≤ 1 for each possible instantiation of the random variables, and if so. how one might find a feasible schedule with each given instantiation. The advantage of our model is that one can vary the value of ∊ to control the level of conservativeness of the solution. We present a computationally tractable and …

Go to article

Sonar Sensor Interpretation For Ectogeneous Robots, Wen Gao Jan 2005

Sonar Sensor Interpretation For Ectogeneous Robots, Wen Gao

Dissertations, Theses, and Masters Projects

We have developed four generations of sonar scanning systems to automatically interpret surrounding environment. The first two are stationary 3D air-coupled ultrasound scanning systems and the last two are packaged as sensor heads for mobile robots. Template matching analysis is applied to distinguish simple indoor objects. It is conducted by comparing the tested echo with the reference echoes. Important features are then extracted and drawn in the phase plane. The computer then analyzes them and gives the best choices of the tested echoes automatically. For cylindrical objects outside, an algorithm has been presented to distinguish trees from smooth circular poles …

Go to article

Interaction Between The Dorsal And Ventral Pathways In Mental Rotation: An Fmri Study, Hideya Koshino, Patricia Carpenter, Timothy Keller, Marcel Just Dec 2004

Interaction Between The Dorsal And Ventral Pathways In Mental Rotation: An Fmri Study, Hideya Koshino, Patricia Carpenter, Timothy Keller, Marcel Just

Marcel Adam Just

No abstract provided.

Go to article

Imagining Material Versus Geometric Properties Of Objects: An Fmri Study, Sharlene Newman, Roberta Klatzky, Susan Lederman, Marcel Just Dec 2004

Imagining Material Versus Geometric Properties Of Objects: An Fmri Study, Sharlene Newman, Roberta Klatzky, Susan Lederman, Marcel Just

Marcel Adam Just

No abstract provided.

Go to article

Functional Connectivity In An Fmri Working Memory Task In High-Functioning Autism, Hideya Koshino, Patricia Carpenter, Nancy Minshew, Vladimir Cherkassky, Timothy Keller, Marcel Just Dec 2004

Functional Connectivity In An Fmri Working Memory Task In High-Functioning Autism, Hideya Koshino, Patricia Carpenter, Nancy Minshew, Vladimir Cherkassky, Timothy Keller, Marcel Just

Marcel Adam Just

No abstract provided.

Go to article

The Framing Effect And Risky Decisions: Examining Cognitive Functions With Fmri, Cleotilde Gonzalez, Jason Dana, Hideya Koshino, Marcel Adam Just Dec 2004

The Framing Effect And Risky Decisions: Examining Cognitive Functions With Fmri, Cleotilde Gonzalez, Jason Dana, Hideya Koshino, Marcel Adam Just

Marcel Adam Just

No abstract provided.

Go to article

Inheritance Evaluation System Using Islamic Law, Dr. Muhammad Zubair Asghar, Fazal Masud Kundi, Abdur Rashid Khan Nov 2004

Inheritance Evaluation System Using Islamic Law, Dr. Muhammad Zubair Asghar, Fazal Masud Kundi, Abdur Rashid Khan

Dr. Muhammad Zubair Asghar

The research work about the Inheritance Evaluation System using Islamic law is valuable for automatic calculation of share out of total inheritance of a deceased to his/her legal heir(s). First version of the software named as Islamic Inheritance Evaluation System (IIES) deals with Hanfi School of thought. IIES may solve the heritage problem of heirs in text as well as in graphical form at home without establishing a suit in any court. This also leads to further research of who is how much related to whom?

Go to article

Two-Echelon Repairable Item Inventory System With Limited Repair Capacity Under Nonstationary Demands, Hoong Chuin Lau, Huawei Song Nov 2004

Two-Echelon Repairable Item Inventory System With Limited Repair Capacity Under Nonstationary Demands, Hoong Chuin Lau, Huawei Song

Research Collection School Of Computing and Information Systems

We study a repairable item inventory system under limited repair capacity and nonstationary Poisson demands, motivated by corrective maintenance of military equipment. Our goal is to minimize the cost of both spare and repair resource allocation. We propose an efficient analytical model that combines optimization modeling and queuing theory.

Go to article

Job Scheduling With Unfixed Availability Constraints, Hoong Chuin Lau, C. Zhang Nov 2004

Job Scheduling With Unfixed Availability Constraints, Hoong Chuin Lau, C. Zhang

Research Collection School Of Computing and Information Systems

Standard scheduling theory assumes that all machines are continuously available throughout the planning horizon. In many manufacturing and service management situations however, machines need to be maintained periodically to prevent malfunctions. During the maintenance period, a machine is not available for processing jobs. Hence, a more realistic scheduling model should take into account machine maintenance activities. In this paper, we study the problem of job scheduling with unfixed availability constraints on a single machine. We first propose a preliminary classification for the scheduling problem with unfixed availability constraints based on maintenance constraints, job characteristics and objective function. We divide our …

Go to article

Corrective Maintenance Optimization In An Air Force, Hoong Chuin Lau, K. Y. Neo, W. C. Wan Nov 2004

Corrective Maintenance Optimization In An Air Force, Hoong Chuin Lau, K. Y. Neo, W. C. Wan

Research Collection School Of Computing and Information Systems

Successful military mission planning and execution depend critically on equipment serviceability and resupply. Due to the stochastic nature of demands, the forecast of optimal spares and resources needed to guarantee the level of serviceability is a complex problem, especially in a multi-echelon setting. In this paper, we propose a decision-support concept and software tool known as Corrective Maintenance Optimizer (CMO) that helps to optimize system availability, through proper allocation of spare parts, both strategically and operationally.

Go to article

Logistics Network Design With Differentiated Delivery Lead Time: A Chemical Industry Case Study, Michelle Lee Fong Cheong, Rohit Bhatnagar, Stephen C. Graves Nov 2004

Logistics Network Design With Differentiated Delivery Lead Time: A Chemical Industry Case Study, Michelle Lee Fong Cheong, Rohit Bhatnagar, Stephen C. Graves

Research Collection School Of Computing and Information Systems

Most logistics network design models assume exogenous customer demand that is independent of the service time or level. This paper examines the benefits of segmenting demand according to lead-time sensitivity of customers. To capture lead-time sensitivity in the network design model, we use a facility grouping method to ensure that the different demand classes are satisfied on time. In addition, we perform a series of computational experiments to develop a set of managerial insights for the network design decision making process.

Go to article

A Periodic-Review Inventory Model With Application To The Continuous-Review Obsolescence Problem, Yuyue Song, Hoong Chuin Lau Nov 2004

A Periodic-Review Inventory Model With Application To The Continuous-Review Obsolescence Problem, Yuyue Song, Hoong Chuin Lau

Research Collection School Of Computing and Information Systems

In this paper we consider a stochastic-demand periodic-review inventory model with sudden obsolescence. We characterize the structure of the optimal policy and propose a dynamic programming algorithm for computing its parameters. We then utilize this algorithm to approximate the solution to the continuous-review sudden obsolescence problem with general obsolescence distribution. We prove convergence of our approximation scheme, and demonstrate it numerically against known closed-form solutions of special cases.

Go to article

A Development Framework For Rapid Metaheuristics Hybridization, Hoong Chuin Lau, M. K. Lim, W. C. Wan, S. Halim Sep 2004

A Development Framework For Rapid Metaheuristics Hybridization, Hoong Chuin Lau, M. K. Lim, W. C. Wan, S. Halim

Research Collection School Of Computing and Information Systems

While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to specific problems. For this reason, a software tool for rapid prototyping of algorithms would save considerable resources. This work presents a generic software framework that reduces development time through abstract classes and software reuse, and more importantly, aids design with support of user-defined strategies and hybridization of meta-heuristics. Most interestingly, we propose a novel way of redefining hybridization with the use of the "request and response" metaphor, which form an abstract concept for hybridization. Different hybridization schemes can now be formed …

Go to article

A Two-Level Framework For Coalition Formation Via Optimization And Agent Negotiation, Hoong Chuin Lau, Lei Zhang Sep 2004

A Two-Level Framework For Coalition Formation Via Optimization And Agent Negotiation, Hoong Chuin Lau, Lei Zhang

Research Collection School Of Computing and Information Systems

We present a two-level coalition formation approach based on a centralized optimization model on the upper level, and a distributed agent-negotiation model on the lower level. This approach allows us to balance agent self-interests against a high joint utility. Experimental results show that the two-level coalition formation mechanism will increase not only the overall utility of the coalition, but also the individual utility of most participating agents. The results also suggest it is better for the agents to be partially cooperative rather than either fully cooperative or self-interested in our setting.

Go to article

First Prev Next Last