2819 search results - page 131 / 564 » Associative Omega-product of Processes |
163
click to vote
IROS
2009
IEEE
16 years 29 days ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
154
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
In this paper, we present an asynchronous consistent global checkpoint collection algorithm which prevents contention for network storage at the file server and hence reduces the...
181
click to vote
B
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
141
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...
159
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper discusses multi-issue negotiation between agents such as providers and consumers in a group decision making environment. The outcome of such encounters depends on two...