2152 search results - page 382 / 431 » On Automating the Calculus of Relations |
101
click to vote
JIRS
2007
15 years 12 days ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
112
click to vote
JNCA
2007
15 years 12 days ago
2007
Cooperation and autonomy are two antagonistic core variables of agent-based systems, and a key challenge in designing such systems is to balance these variables appropriately. Thi...
JSS
2007
15 years 12 days ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
74
Voted
ALIFE
2004
15 years 12 days ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
110
Voted
VIROLOGY
2008
15 years 12 days ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...