6800 search results - page 961 / 1360 » Testing with Functions as Specifications |
156
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Proteins crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the three-dimensional arrangement of the constituent amino acids...
173
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...
199
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Numerous techniques exist to help users automate repetitive tasks; however, none of these methods fully support enduser creation, use, and modification of the learned tasks. We pr...
193
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Future progress in neuroscience hinges on reconstruction of neuronal circuits to the level of individual synapses. Because of the specifics of neuronal architecture, imaging must ...
166
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
Nervixxx introduces neural computing to overcome the limit of conventional performance systems1 that uses tangible computing and physical computing. Specifically, we utilized the ...