12774 search results - page 2490 / 2555 » A Framework for Proof Systems |
RWEB
2007
Springer
14 years 3 months ago
2007
Springer
Today customers want to use powerful search engines for their huge and increasing content repositories. Full-text-only products with simple result lists are not enough to satisfy t...
AICCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
Today most multiplayer game servers are pre-located statically, which makes it hard for gamers to find equi-ping hosts for their matches. This is especially important for first per...
CGI
2006
IEEE
14 years 2 months ago
2006
IEEE
It has been technically challenging to effectively model and simulate elastic deformation of spline-based, thin-shell objects of complicated topology. This is primarily because tra...
CVPR
2006
IEEE
14 years 2 months ago
2006
IEEE
Nowadays, GPS-based car navigation systems mainly use speech and aerial views of simplified road maps to guide drivers to their destination. However, drivers often experience dif...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Memory elements are the most vulnerable system component to soft errors. Since memory elements in cache arrays consume a large fraction of the die in modern microprocessors, the p...