2661 search results - page 323 / 533 » Model Checking Performability Properties |
RSP
2003
IEEE
14 years 4 months ago
2003
IEEE
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
CVPR
2009
IEEE
14 years 2 months ago
2009
IEEE
Visual tracking is a key component in many computer vision applications. Linear subspace techniques (e.g. eigentracking) are one of the most popular approaches to align templates ...
ML
2000
ACM
13 years 10 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
CIBCB
2009
IEEE
13 years 8 months ago
2009
IEEE
Reliable shape modeling and clustering of white matter fiber tracts is essential for clinical and anatomical studies that use diffusion tensor imaging (DTI) tractography techniques...
ICCAD
2002
IEEE
14 years 7 months ago
2002
IEEE
In mixed-signal designs, substrate noise originating from the digital part can seriously influence the functionality of the analog part. As such, accurately modeling the properti...