2736 search results - page 276 / 548 » Implementable allocation rules |
180
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes the architecture of the fourth version of the Evolutionary Virtual Agent (EVA). This new light-weight java-based implementation is based on a dynamical rule-b...
168
click to vote
CAV
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
188
click to vote
DALT
2005
Springer
16 years 16 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
176
click to vote
ESORICS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ...
155
click to vote
KES
2004
Springer
16 years 11 days ago
2004
Springer
In this paper, we present the design, implementation and evaluation of FESMI, a fuzzy expert system that deals with diagnosis and treatment of male impotence. The diagnosis process...