43264 search results - page 8003 / 8653 » Comparing models of computation |
178
click to vote
EDBT
2000
ACM
15 years 9 months ago
2000
ACM
In high-dimensional query processing, the optimization of the logical page-size of index structures is an important research issue. Even very simple query processing techniques suc...
171
click to vote
AINA
2010
IEEE
15 years 9 months ago
2010
IEEE
One of the major premises of P2P systems is to enable fully decentralized collaborative functionalities for supporting work teams and P2P communities. Within collaborative systems,...
149
click to vote
PADS
1999
ACM
15 years 9 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
139
click to vote
STACS
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
142
click to vote
VISUALIZATION
1998
IEEE
15 years 9 months ago
1998
IEEE
Many sophisticated solutions have been proposed to reduce the geometric complexity of 3D meshes. A less studied problem is how to preserve on a simplified mesh the detail (e.g. co...