10568 search results - page 698 / 2114 » Computer Intelligence and Formalization |
159
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
The governance of open multi-agent systems is particular important since those systems are composed by heterogeneous, autonomous and independently designed agents. Such governance ...
179
click to vote
DALT
2007
Springer
16 years 1 months ago
2007
Springer
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to defi...
185
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
184
click to vote
ICOST
2007
Springer
16 years 1 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
182
click to vote
IVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The paper describes an infotainment application where lifelike characters present two MP3 players in a virtual showroom. The key feature of the system is that the present...