646 search results - page 77 / 130 » Architecture for an Artificial Immune System |
142
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Molecular communication is one solution for nano-scale communication between nanomachines. Nanomachines (e.g., biological molecules, artificial devices) represent small devices or...
198
click to vote
IJCAI
1997
15 years 7 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
141
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
145
click to vote
EUSAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
164
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Emotions play an important role in cognitive processes and specially in learning tasks. Moreover, there are some evidences that the emotional state of the learner correlated with h...