3872 search results - page 522 / 775 » The Java memory model |
163
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
203
click to vote
IJCV
2008
15 years 6 months ago
2008
Supplying realistically textured 3D city models at ground level promises to be useful for pre-visualizing upcoming traffic situations in car navigation systems. Because this previs...
163
click to vote
JAIR
2008
15 years 6 months ago
2008
Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function ...
185
click to vote
TVLSI
2008
15 years 6 months ago
2008
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...
248
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Handling intra-personal variation is a major challenge in face recognition. It is difficult how to appropriately measure the similarity between human faces under significantly di...