6608 search results - page 1280 / 1322 » On the Completeness of Model Checking |
180
click to vote
VISUALIZATION
2005
IEEE
16 years 6 days 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...
209
click to vote
MM
2005
ACM
16 years 5 days 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 ...
179
click to vote
SAC
2005
ACM
16 years 5 days 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...
156
click to vote
DIGRA
2005
Springer
16 years 5 days 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...
182
click to vote
HPCC
2005
Springer
16 years 4 days 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...