970 search results - page 117 / 194 » Query by tapping system based on alignment algorithm |
127
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Column-stores gained popularity as a promising physical design alternative. Each attribute of a relation is physically stored as a separate column allowing queries to load only th...
156
click to vote
TACAS
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
194
click to vote
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
Web-database systems are nowadays an integral part of everybody's life, with applications ranging from monitoring/trading stock portfolios, to personalized blog aggregation a...
106
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
The development of mobile-based image retrieval system is required for the efficient management about various image data with fast growth of mobile devices. The resource of mobil...
94
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
The publish-subscribe paradigm is an effective approach for data publishers to asynchronously disseminate relevant data to a large number of data subscribers. A lot of recent res...