77016 search results - page 217 / 15404 » Modeling Modeling |
156
click to vote
TASE
2007
IEEE
16 years 22 days ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
148
click to vote
IJCNN
2007
IEEE
16 years 23 days ago
2007
IEEE
— We present a computational model of human category learning that learns the essential structures of the categories by forgetting information that is not useful for the given ta...