12774 search results - page 2298 / 2555 » A Framework for Proof Systems |
208
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
In concurrent cooperative multiagent learning, each agent simultaneously learns to improve the overall performance of the team, with no direct control over the actions chosen by i...
180
Voted
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
The power of the unaided, individual mind is highly overrated: The Renaissance scholar no longer exists. Although creative individuals are often thought of as working in isolation...
157
Voted
CHINZ
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
171
click to vote
CIBCB
2006
IEEE
15 years 8 months ago
2006
IEEE
In recent years, unsupervised gene (feature) selection has become an integral part of microarray analysis because of the large number of genes and complexity in biological systems....
202
click to vote
DFT
2006
IEEE
15 years 8 months ago
2006
IEEE
As the technology enters the nano dimension, the inherent unreliability of nanoelectronics is making fault-tolerant architectures increasingly necessary in building nano systems. ...