1297 search results - page 51 / 260 » Large Model Visualization: Techniques and Applications |
SIGMOD
2004
ACM
15 years 12 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
15 years 3 months 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...
112
click to vote
3DIM
1999
IEEE
15 years 4 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...
122
click to vote
SG
2009
Springer
15 years 6 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...
179
click to vote
ICDE
2003
IEEE
16 years 1 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...