3317 search results - page 104 / 664 » Strategies in Rigid-Variable Methods |
181
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
146
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Next-generation high throughput sequencing instruments are capable of generating hundreds of millions of reads in a single run. Mapping those reads to a reference genome is an ext...
135
click to vote
AAAI
2012
13 years 6 months ago
2012
Hashing, which tries to learn similarity-preserving binary codes for data representation, has been widely used for efficient nearest neighbor search in massive databases due to i...
119
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Bitmap indexes are widely used in Decision Support Systems (DSSs) to improve query performance. In this paper, we evaluate the use of compressed inverted indexes with adapted quer...
169
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
—It is not possible to ensure that a network is absolutely secure. Therefore, network operators must continually change their defense strategies to counter attackers who constant...