We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
This paper proposes a subjective map representation that enables a robot in a multiagent system to make decisions in a dynamic, hostile environment. A typical situation can be fou...
With the emersion of new types of applications on the Internet, the need of broadband access is unavoidable. It also makes the differentiation of services provided by the network ...
Kuo-Chih Chu, Yi-Gang Tai, Wei-Tsong Lee, Pau-Choo...
Abstract This paper describes the University of Sheffield entry for the 3rd International Competition on Plagiarism Detection which attempted the monolingual external plagiarism d...
Rao Muhammad Adeel Nawab, Mark Stevenson, Paul D. ...
Peer-to-peer (P2P) networks use the fundamental assumption that the nodes in the network will cooperate and will not cheat. In the absence of any common goals shared by the nodes ...