6608 search results - page 1280 / 1322 » On the Completeness of Model Checking |
114
click to vote
VISUALIZATION
2005
IEEE
15 years 9 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...
155
Voted
MM
2005
ACM
15 years 9 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 ...
134
click to vote
SAC
2005
ACM
15 years 9 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...
113
Voted
DIGRA
2005
Springer
15 years 9 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...
141
Voted
HPCC
2005
Springer
15 years 9 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...