1297 search results - page 51 / 260 » Large Model Visualization: Techniques and Applications |
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...
ICCD
1995
IEEE
14 years 7 days ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
3DIM
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we report on recent extensions to a surface matching algorithm based on local 3-D signatures. This algorithm was previously shown to be effective in view registrati...
SG
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
ICDE
2003
IEEE
14 years 10 months ago
2003
IEEE
Clustering of large data bases is an important research area with a large variety of applications in the data base context. Missing in most of the research efforts are means for g...