1054 search results - page 161 / 211 » From a Verified Kernel towards Verified Systems |
147
click to vote
AICCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Plus BROWSE SEARCH IEEE XPLORE GUIDE SUPPORT View TOC Enhanced visual evaluation of feature extractors for image mining Rodrigues, J.F., Jr. Traina, A.J.M. Traina, C., Jr. Comput. ...
190
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
173
click to vote
SDM
2010
SIAM
15 years 7 months ago
2010
SIAM
Tensors naturally model many real world processes which generate multi-aspect data. Such processes appear in many different research disciplines, e.g, chemometrics, computer visio...
134
click to vote
ICWN
2008
15 years 7 months ago
2008
Authentic program modification is very important for a multi-application smart card system since applications in the system are realized after the issuance of the smart card. In t...
176
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper presents a novel discrete population based stochastic optimization algorithm inspired from weed colonization. Its performance in a discrete benchmark, timecost trade-off...