Breakthroughs in Software Science and Computational Intelligence

Breakthroughs in Software Science and Computational Intelligence

Copyright: © 2012 |Pages: 444

ISBN13: 9781466602649|ISBN10: 1466602643|EISBN13: 9781466602656

DOI: 10.4018/978-1-4666-0264-9

Cite Book Cite Book

MLA

Wang, Yingxu, editor. Breakthroughs in Software Science and Computational Intelligence. IGI Global, 2012. https://doi.org/10.4018/978-1-4666-0264-9

APA

Wang, Y. (Ed.). (2012). Breakthroughs in Software Science and Computational Intelligence. IGI Global. https://doi.org/10.4018/978-1-4666-0264-9

Chicago

Wang, Yingxu, ed. Breakthroughs in Software Science and Computational Intelligence. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-4666-0264-9

Export Reference

Favorite Full-Book Download

As both intelligence and software science revolutionizes the modern world, the contributions that each make to the other combine into a new transdisciplinary field.

Breakthroughs in Software Science and Computational Intelligence charts the new ground broken by researchers exploring these two disciplines. A vital resource to students and practitioners working in computer science, theoretical software engineering, cognitive science, cognitive informatics, and intelligence science, this book establishes itself in this new field, emphasizing the abundance of future applications and advancement.

Table of Contents

Reset

Front Materials

Title Page

Copyright Page

Editorial Advisory Board

Preface

Acknowledgment

Chapters

Computational Intelligence

Chapter 1

Perspectives on Cognitive Computing and Applications (pages 1-12)

Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Guoyin Wang, Yiyu Yao

Cognitive Computing (CC) is an emerging paradigm of intelligent computing theories and technologies based on cognitive informatics, which implements computational intelligence by autonomous inferences and perceptions mimicking the...

Chapter 2

Granular Computing and Human-Centricity in Computational Intelligence (pages 13-27)

Witold Pedrycz

Information granules and ensuing Granular Computing offer interesting opportunities to endow processing with an important facet of human-centricity. This facet implies that the underlying processing supports non-numeric data...

Chapter 3

A General Knowledge Representation Model for the Acquisition of Skills and Concepts (pages 28-45)

Carlos Ramirez, Benjamin Valdes

A cognitive model for skills and concepts representation as well as a proposal for its computational implementation is presented in this paper. The model is intended to help bridge some of the natural problems that arise in current...

Chapter 4

Feature Based Rule Learner in Noisy Environment Using Neighbourhood Rough Set Model (pages 46-64)

Yang Liu, Luyang Jiao, Guohua Bai, Boqin Feng

From the perspective of cognitive informatics, cognition can be viewed as the acquisition of knowledge. In real-world applications, information systems usually contain some degree of noisy data. A new model proposed to deal with the...

Chapter 5

A High Level Model of a Conscious Embodied Agent (pages 65-82)

Jirí Wiedermann

In this paper, the author describes a simple yet cognitively powerful architecture of an embodied conscious agent. The architecture incorporates a mechanism for mining, representing, processing and exploiting semantic knowledge. This...

Cognitive Computing

Chapter 6

Cognitive Memory: Human Like Memory (pages 84-99)

Bernard Carlos Widrow, Juan Aragon

Taking inspiration from life experience, the authors have devised a new form of computer memory. Certain conjectures about human memory are keys to the central idea. This paper presents a design of a practical and useful “cognitive”...

Chapter 7

Multi-Fractal Analysis for Feature Extraction from DNA Sequences (pages 100-118)

Witold Kinsner, Hong Zhang

This paper presents estimations of multi-scale (multi-fractal) measures for feature extraction from deoxyribonucleic acid (DNA) sequences, and demonstrates the intriguing possibility of identifying biological functionality using...

Chapter 8

Agent-Based Middleware for Advanced Communication Services in a Ubiquitous Computing Environment (pages 119-138)

Takuo Suganuma, Hideyuki Takahashi, Norio Shiratori

In a ubiquitous computing (ubicomp) environment, system components of different types, including hardware elements, software components, and network connections, must cooperate mutually to provide services that fulfill user...

Chapter 9

Relevant and Non-Redundant Amino Acid Sequence Selection for Protein Functional Site Identification (pages 139-164)

Chandra Das, Pradipta Maji

In order to apply a powerful pattern recognition algorithm to predict functional sites in proteins, amino acids cannot be used directly as inputs since they are non-numerical variables. Therefore, they need encoding prior to input....

Chapter 10

Role-Based Autonomic Systems (pages 165-184)

Haibin Zhu

Autonomic Computing is an emerging computing paradigm used to create computer systems capable of self-management in order to overcome the rapidly growing complexity of computing systems management. To possess self-* properties, there...

Chapter 11

Combining Ontology with Intelligent Agent to Provide Negotiation Service (pages 185-194)

Qiumei Pu, Yongcun Cao, Xiuqin Pan, Siyao Fu, Zengguang Hou

Agent and Ontology are distinct technologies that arose independent of each other, having their own standards and specifications. The semantics web is one of the popular research areas these days, and is based on the current Web...

Software Science

Chapter 12

Design and Implementation of an Autonomic Code Generator Based on RTPA (pages 196-218)

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah

Real-Time Process Algebra (RTPA) is a denotational mathematics for the algebraic modeling and manipulations of software system architectures and behaviors by the Unified Data Models (UDMs) and Unified Process Models (UPMs). On the...

Chapter 13

The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks (pages 219-235)

Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Philip Choy, Yousheng Tian

A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model...

Chapter 14

The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors (pages 236-262)

Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Philip Choy, Yousheng Tian

A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems, and mission-critical systems. This paper presents a formal design model...

Chapter 15

The Formal Design Model of an Automatic Teller Machine (ATM) (pages 263-287)

Yingxu Wang, Yanan Zhang, Philip C.-Y. Sheu, Xuhui Li, Hong Guo

An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This paper presents the formal design, specification, and modeling of the ATM system using a...

Chapter 16

The Formal Design Models of a Set of Abstract Data Types (ADTs) (pages 288-315)

Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu

Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures...

Chapter 17

A Least-Laxity-First Scheduling Algorithm of Variable Time Slice for Periodic Tasks (pages 316-333)

Shaohua Teng, Wei Zhang, Haibin Zhu, Xiufen Fu, Jiangyi Su, Baoliang Cui

The LLF (Least Laxity First) scheduling algorithm assigns a priority to a task according to its executing urgency. The smaller the laxity value of a task is, the sooner it needs to be executed. When two or more tasks have same or...

Applications of Computational Intelligence and Cognitive Computing

Chapter 18

Cognitive Location-Aware Information Retrieval by Agent-Based Semantic Matching (pages 335-345)

Eddie C. L. Chan, George Baciu, S. C. Mak

This paper proposes semantic TFIDF, an agent-based system for retrieving location-aware information that makes use of semantic information in the data to develop smaller training sets, thereby improving the speed of retrieval while...

Chapter 19

Perceiving the Social: A Multi-Agent System to Support Human Navigation in Foreign Communities (pages 346-358)

Victor V. Kryssanov, Shizuka Kumokawa, Igor Goncharenko, Hitoshi Ogawa

This paper describes a system developed to help people explore local communities by providing navigation services in social spaces created by the community members via communication and knowledge sharing. The proposed system utilizes...

Chapter 20

Symbiotic Aspects in e-Government Application Development (pages 359-371)

Claude Moulin, Marco Luca Sbodio

For e-Government applications, the symbiotic aspect must be taken into account at three stages: at design time in order to integrate the end-user, at delivery time when civil servants have to discover and interact with new services...

Chapter 21

CoPBoard: A Catalyst for Distributed Communities of Practice (pages 372-390)

Gilson Yukio Sato, Jean-Paul A. Barthès

Symbiotic computing leads to a proliferation of computing devices that allow linking people, favoring the development of distributed Communities of Practice (CoPs). Their members, being dispersed geographically, have to rely strongly...

Chapter 22

Remote Conversation Support for People with Aphasia (pages 391-403)

Nilar Aye, Takuro Ito, Fumio Hattori, Kazuhiro Kuwabara, Kiyoshi Yasuda

This paper proposes a remote conversation support system for people with aphasia. The aim of our system is to improve the quality of lives (QoL) of people suffering cognitive disabilities. In this framework, a topic list is used as a...

Chapter 23

Estimating which Object Type a Sensor Node is Attached to in Ubiquitous Sensor Environment (pages 404-417)

Takuya Maekawa, Yutaka Yanagisawa, Takeshi Okadome

By simply attaching sensor nodes to physical objects with no information about the objects, the method proposed in this paper infers the type of the physical indoor objects and the states they are in. Assuming that an object has its...

Chapter 24

Delay-Range-Dependent Robust Stability for Uncertain Stochastic Neural Networks with Time-Varying Delays (pages 418-432)

Wei Feng, Haixia Wu

This paper is concerned with the robust stability analysis problem for uncertain stochastic neural networks with interval time-varying delays. By utilizing a Lyapunov-Krasovskii functional and conducting stochastic analysis, the...

Chapter 25

Classifier Ensemble Based Analysis of a Genome-Wide SNP Dataset Concerning Late-Onset Alzheimer Disease (pages 433-442)

Lúcio Coelho, Ben Goertzel, Cassio Pennachin, Chris Heward

In this paper, the OpenBiomind toolkit is used to apply GA, GP, and local search methods to analyze a large SNP dataset concerning Late-Onset Alzheimer’s Disease (LOAD). Classification models identifying LOAD with statistically...

Back Materials

Compilation of References

About the Contributors

Index

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account