3891 search results - page 227 / 779 » Toward nature-inspired computing |
206
click to vote
CF
2010
ACM
15 years 10 months ago
2010
ACM
Studies have shown much of today’s data centers are over-provisioned and underutilized. Over-provisioning cannot be avoided as these centers must anticipate peak load with burst...
149
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
185
click to vote
TPHOL
1991
IEEE
15 years 10 months ago
1991
IEEE
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
117
click to vote
AAAI
2006
15 years 8 months ago
2006
1 This article summarizes recent progress in developing a validated computational account of the cognitive antecedents and consequences of emotion. We describe the potential of thi...
151
click to vote
EJC
2006
15 years 6 months ago
2006
We show how to obtain all nonassociative Moufang loops of order less than 64 and 4262 nonassociative Moufang loops of order 64 in a unified way. We conjecture that there are no oth...