3676 search results - page 558 / 736 » Scalable component abstractions |
144
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Although information visualization (infovis) technologies have proven indispensable tools for making sense of complex data, wide-spread deployment has yet to take hold, as success...
143
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
135
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
264
Voted
VLDB
2002
ACM
16 years 6 months ago
2002
ACM
Abstract. Several alternatives to manage large XML document collections exist, ranging from file systems over relational or other database systems to specifically tailored XML base...
264
click to vote
VLDB
2002
ACM
16 years 6 months ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...