7811 search results - page 215 / 1563 » computer 2004 |
129
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes two self-optimisation techniques that have been employed in the design of two exemplar agent-based mobile computing systems, namely Gullivers Genie and the Ag...
129
click to vote
ITICSE
2004
ACM
15 years 10 months ago
2004
ACM
Peer assessment is a technique that has been successfully employed in a variety of academic disciplines, and which is considered to be effective in developing student’s higher c...
122
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
145
Voted
IADIS
2004
15 years 5 months ago
2004
Construction kits represent a venerable, creative, and (occasionally) even beautiful genre of educational toys for children. Nonetheless, traditional construction kits have limita...
139
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...