6514 search results - page 977 / 1303 » Low-Knowledge Algorithm Control |
115
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
113
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
128
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Pareto surfaces in the performance space determine the range of feasible performance values for a circuit topology in a given technology. We present a non-dominated sorting based ...
84
Voted
MICCAI
2006
Springer
16 years 4 months ago
2006
Springer
Automatic algorithms in conjunction with longitudinal MR brain images can be used to measure cerebral atrophy, which is particularly pronounced in several types of dementia. An atr...
143
Voted
IPMI
2007
Springer
16 years 4 months ago
2007
Springer
A novel framework for joint clustering and point-by-point mapping of white matter fiber pathways is presented. Accurate clustering of the trajectories into fiber bundles requires p...