6608 search results - page 1280 / 1322 » On the Completeness of Model Checking |
160
click to vote
VISUALIZATION
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent years have seen an immense increase in the complexity of geometric data sets. Today’s gigabyte-sized polygon models can no longer be completely loaded into the main memor...
186
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...
172
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
Peer-to-peer (P2P) has become an important computing model because of its adaptation, self-organization and autonomy etc. But efficient organization of the nodes in P2P networks i...
147
click to vote
DIGRA
2005
Springer
15 years 11 months ago
2005
Springer
Like many massively-multiplayer role-playing games, Final Fantasy XI is a persistent world with a heroic fantasy setting. This paper discusses fictive player identities, and descr...
163
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Nowadays the success of many e-commerce applications, such as on-line banking, depends on their reliability, robustness and security. Designing a web server architecture that keep...