-
Article
Semantics for a Quantum Programming Language by Operator Algebras
This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces. We show th...
-
Chapter
Acceleration Noise Correction for Transfer Inference Using Accelerometers on Mobile Devices
The acceleration noise generated in the ordinary usage of mobile devices (e.g. when “taking out” the devices or operating them) interferes with estimation of the means of migration using accelerometers on the ...
-
Chapter and Conference Paper
An Online Human Activity Recognizer for Mobile Phones with Accelerometer
We propose a novel human activity recognizer for an application for mobile phones. Since such applications should not consume too much electric power, our method should have not only high accuracy but also low...
-
Chapter and Conference Paper
Advice Extraction from Web for Providing Prior Information Concerning Outdoor Activities
Conventional context-aware recommendation systems do not provide information before user action, although they provide information considering users’ ongoing activity. However, users want to know prior informa...
-
Chapter and Conference Paper
BDI Model-Based Crowd Simulation
We present a new approach for crowd simulation in which a BDI (Belief-Desire-Intention) model is introduced that makes it possible for a character in a simulated environment to work adaptively. Our approach al...
-
Chapter and Conference Paper
Implementation of Telematics Services with Context-Aware Agent Framework
With the development of a car-mounted navigation system and an in-car network, improved information services for creating drive plans automatically have been realized. We propose a method of developing telemat...
-
Chapter and Conference Paper
picoPlangent: An Intelligent Mobile Agent System for Ubiquitous Computing
This paper describes an intelligent mobile agent named picoPlangent that we developed for use with portable devices. picoPlangent is designed with a component-based architecture. The agent functions are implem...
-
Chapter and Conference Paper
A New HTN Planning Framework for Agents in Dynamic Environments
In a dynamic environment, even if an agent makes a plan to obtain a goal, the environment might change while the agent is executing the plan. In that case, the plan, which was initially valid when it was made,...
-
Chapter and Conference Paper
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming
Prolog has been used as an inference engine of many systems, and it is natural to use Prolog as an inference engine of intelligent agent systems. However, Prolog assumes that a program does not change. This po...
-
Chapter and Conference Paper
Logic Programming for Agents
Prolog is one of the best-known logic programming languages and suitable for implementing an inference engine for agents. However, Prolog does not take into account the dynamic nature of agents such as knowled...
-
Chapter and Conference Paper
Mobile Agents and Logic Programming
In many mobile agent systems, it is normal for mobile agents to be uninformed about the environment of a computer until they actually arrive at the computer. If the environment of computers is updated frequent...
-
Chapter and Conference Paper
Error-correcting Source Code
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors