6045 search results - page 831 / 1209 » Computable Linearizations of Well-partial-orderings |
198
click to vote
ICML
1997
IEEE
16 years 7 months ago
1997
IEEE
Machine learning techniques are applicable to computer system optimization. We show that shared memory multiprocessors can successfully utilize machine learning algorithms for mem...
198
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
167
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We provide approximate expressions for the covariance matrix of kinetic parameter estimators based on time activity curve (TAC) reconstructions when TACs are modeled as a linear c...
189
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
We propose a novel method for reconstructing a complete 3D model of a given anatomy from minimal information. This reconstruction provides an appropriate intra-operative 3D visual...
149
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
In this work, we study several properties of the SHA-2 design which have been utilized in recent collision attacks against reduced round SHA-2. Small modifications to the SHA-2 des...