1670 search results - page 95 / 334 » Fast Computation of Data Correlation Using BDDs |
103
click to vote
SAC
1995
ACM
15 years 6 months ago
1995
ACM
A trigger system in High Energy Physics Experiments (HEPE) has to decide, in few µs, if the data related to a nuclear event have to be stored or not. Normally, these data, are co...
107
click to vote
APPROX
2006
Springer
15 years 6 months ago
2006
Springer
We describe a simple random-sampling based procedure for producing sparse matrix approximations. Our procedure and analysis are extremely simple: the analysis uses nothing more th...
105
Voted
TMI
2002
15 years 2 months ago
2002
An automatic cortical gray matter segmentation from a three-dimensional (3-D) brain images [magnetic resonance (MR) or computed tomography] is a well known problem in medical image...
158
click to vote
FCCM
2004
IEEE
15 years 6 months ago
2004
IEEE
Dynamically reconfigurable architectures or systems are able to reconfigure their function and/or structure to suit changing needs of a computation during run time. The increasing...
143
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...