48 search results - page 9 / 10 » acs 2005 |
AC
2005
Springer
13 years 5 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
As Japan has become one of the fastest-aging societies in the world, it is important to improve the quality of our health maintenance management and preventive medical care to ext...
PADS
2005
ACM
13 years 11 months ago
2005
ACM
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...
COCO
2005
Springer
13 years 11 months ago
2005
Springer
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...
CSL
2005
Springer
13 years 11 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...