6020 search results - page 903 / 1204 » A New Approach to Model Counting |
148
click to vote
JCNS
2008
15 years 6 months ago
2008
Lateral inhibition of cells surrounding an excited area is a key property of sensory systems, sharpening the preferential tuning of individual cells in the presence of closely rela...
197
click to vote
JCP
2008
15 years 6 months ago
2008
Trusted computing platforms have been proposed as a promising approach to enhance the security of general-purpose computing systems. Direct Anonymous Attestation(DAA) is a scheme t...
180
click to vote
ITSSA
2006
15 years 6 months ago
2006
: An autonomic network must work unsupervised, therefore must be able to respond to unpredictable situations. The BIONETS project is working towards resilient network services that...
184
click to vote
IJET
2007
15 years 6 months ago
2007
—Educational technologies have contributed greatly to the improvement of the process of education. Besides contributing to education directly, the development in new technologies...
200
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
Motivation: Remote homology detection between protein sequences is a central problem in computational biology. Supervised learning algorithms based on support vector machines are ...