6,144 Result(s)
-
Chapter and Conference Paper
A novel associative network accommodating pattern deformation
In this paper we propose a novel associative network model which is able to associate a pattern with deformed versions of itself. The model is composed of a set of logical units (viewed as a set of marbles) and a...
-
Chapter and Conference Paper
A new type of unsupervised growing neural network for biological sequence classification that adopts the topology of a phylogenetic tree
We propose a new type of unsupervised growing self-organizing neural network that expands itself following the taxonomic relationships existing among the sequences being classified. The binary tree topology of...
-
Chapter and Conference Paper
Efficient minimization of numerical summation errors
Given a multiset X={x 1,... x n } of real numbers, the floating-point set summation (FPS) problem asks for S n ...
-
Chapter and Conference Paper
The Cambridge University Robot Football Team Description
This paper describes the Cambridge University Robot Foot- ball entry and our experiences in the RoboCup’98 Small Robot League of the held in Paris competition.
-
Chapter and Conference Paper
A Secure Communication Scheme for Multiagent Systems
In this paper we present a secure communication scheme for multiagent systems. First, we briefly introduce an architecture for multiagent systems, and discuss security problems with such systems. We then prese...
-
Chapter and Conference Paper
The Security Mechanism In Multiagent System AOSDE
In the paper, we discuss the requirements on security of agent communication and its implementation in multiagent system. Multiagent system must run on security encrypting channel and provide multilevel check ...
-
Chapter and Conference Paper
Secure Agent-Mediated Mobile Payment
Mobile devices usually have too limited and expensive communication capacity to meet consistent connection requirement of online payment protocols such as SET. Mobile agent approaches have been proposed by SET...
-
Chapter
User-Friendly Verification
Model checking often faces the problem of reducing the large exponential sizes of state-space representations. Several reduction techniques such as bisimulation equivalence, partial-order semantics, and symmet...
-
Chapter and Conference Paper
Visualizing Mobile Agent Executions
Code mobility has the potential to provide more flexible and efficient solutions to traditional distributed applications. However, develo** distributed programs with code mobility is quite a challenge and so...
-
Chapter and Conference Paper
Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram
Real-world real-time systems may involve many complex structures, which are difficult to verify. We experiment with the model-checking of an application-layer html-based web-camera which involves structures li...
-
Chapter and Conference Paper
Study on SOAP-Based Mobile Agent Techniques
SOAP is a new generation distributed computing protocol on Internet. After analyzing traditional distributed objects based mobile agent systems, this paper introduces the approach to develo** mobile agent sy...
-
Chapter and Conference Paper
An Environment for Multi-domain Ontology Development and Knowledge Acquisition
Ontology is used widely as an analytical tool in many domains in recent years, and adopted as a fundamental basis for knowledge acquisition and sharing. However, it becomes difficult for knowledge engineers to...
-
Chapter and Conference Paper
An Agent Based Service Discovery Architecture for Mobile Environments
The rapid expansion of networked services and wide deployment of easily accessible wireless Internet connection pave the way to access information and services using portable devices in mobile environments. Ho...
-
Chapter and Conference Paper
Mobile Agents for Discovering and Accessing Services in Nomadic Environments
Discovering and accessing distributed services in the Internet from portable devices in nomadic environments is of increasing interest for mobile users. But it is challenged by the deficiencies of wireless com...
-
Chapter and Conference Paper
An Internet-Based Conference System for Real-Time Distributed Design Evaluation
Contemporary product design and manufacture put increasing emphasis on distributed collaboration. Our work in support of the “Artificial joint fast implanting” project of China National “863” High-Tech Program...
-
Chapter and Conference Paper
A CORBA-Based Negotiation Strategy in E-Commerce
Current Negotiation in E-Commerce trading systems is very important part that advances software’s running efficiency. A CORBA-based negotiation strategy that applies agents’ negotiation technology to interact,...
-
Chapter and Conference Paper
Extended Modeling Languages for Interaction Protocol Design
Successful development of agent interaction protocols re- quires modeling methods and tools that support a relatively complete development lifecycle.Agent-based systems are inherently complexbut exhibit many s...
-
Chapter and Conference Paper
A Dynamic Matching and Binding Mechanism for Business Service Integration
The dynamic nature of business applications over the Internet requires that distributed business services be dynamically composed. Dynamic matching and binding of business services, through which activities sp...
-
Chapter and Conference Paper
Constraints-Preserving Map** Algorithm from XML-Schema to Relational Schema
XML is fast emerging as the dominant standard for representing data in Internet, so there are increasing needs to efficiently store it. One potential path to this goal is transforming XML data into relational ...
-
Chapter and Conference Paper
Map** XML-Schema to Relational Schema
XML is fast emerging as the dominant standard for representing data in Internet. One efficient path to store it is transforming XML data into relational database. Exiting XML-to-RDB algorithms focus only on th...