Sciweavers

1992 search results - page 85 / 399
» Implementing sorting in database systems
Sort
View
PVLDB
2010
146views more  PVLDB 2010»
14 years 7 months ago
Generating Efficient Execution Plans for Vertically Partitioned XML Databases
Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query e...
Patrick Kling, M. Tamer Özsu, Khuzaima Daudje...
SAS
2009
Springer
119views Formal Methods» more  SAS 2009»
16 years 1 months ago
Abstraction Refinement for Quantified Array Assertions
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
Mohamed Nassim Seghir, Andreas Podelski, Thomas Wi...
114
Voted
ESWS
2007
Springer
15 years 6 months ago
User-Centric Faceted Search for Semantic Portals
Many semantic portals use faceted browsing, where the facets are based on the underlying indexing ontologies of the content. However, in many cases, like in medical applications, t...
Osma Suominen, Kim Viljanen, Eero Hyvönen
ISMIR
2005
Springer
185views Music» more  ISMIR 2005»
15 years 6 months ago
PlaySOM and PocketSOMPlayer, Alternative Interfaces to Large Music Collections
With the rising popularity of digital music archives the need for new access methods such as interactive exploration or similarity-based search become significant. In this paper ...
Robert Neumayer, Michael Dittenbach, Andreas Raube...
AMAST
2006
Springer
15 years 2 months ago
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
Matteo Dell'Amico, Maura Cerioli