Sciweavers

3965 search results - page 484 / 793
» Effectivity of Regular Spaces
Sort
View
VLDB
1993
ACM
138views Database» more  VLDB 1993»
15 years 11 months ago
Searching Large Lexicons for Partially Specified Terms using Compressed Inverted Files
There are many advantages to be gained by storing the lexicon of a full text database in main memory. In this paper we describe how to use a compressed inverted file index to sear...
Justin Zobel, Alistair Moffat, Ron Sacks-Davis
OOPSLA
1992
Springer
15 years 11 months ago
CACL: Efficient Fine-Grained Protection for Objects
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
Joel E. Richardson, Peter M. Schwarz, Luis-Felipe ...
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
BIBM
2009
IEEE
118views Bioinformatics» more  BIBM 2009»
15 years 10 months ago
Inexact Local Alignment Search over Suffix Arrays
We describe an algorithm for finding approximate seeds for DNA homology searches. In contrast to previous algorithms that use exact or spaced seeds, our approximate seeds may conta...
Mohammadreza Ghodsi, Mihai Pop
ECAL
2007
Springer
15 years 10 months ago
Artificial Ecosystem Selection for Evolutionary Optimisation
Abstract. Artificial selection of microbial ecosystems for their collective function has been shown to be effective in laboratory experiments. In previous work, we used evolutionar...
Hywel T. P. Williams, Timothy M. Lenton