30 search results - page 5 / 6 » An artificial immune system with partially specified antibod... |
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
ICARIS
2009
Springer
14 years 1 months ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...
FLAIRS
2006
13 years 8 months ago
2006
A recommender system suggests items to a user for a given query by personalizing the recommendations based on the user interests. User personalization is usually done by asking us...
CAEPIA
2003
Springer
14 years 18 days ago
2003
Springer
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
APN
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...