2747 search results - page 195 / 550 » Non-oblivious Strategy Improvement |
168
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
176
click to vote
CLEF
2007
Springer
16 years 21 days ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
176
click to vote
ICPADS
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper, we utilize a bandwidth-centric job communication model that captures the interaction and impact of simultaneously co-allocating jobs across multiple clusters. We ma...
157
click to vote
IMC
2006
ACM
16 years 15 days ago
2006
ACM
The performance of peer-to-peer file replication comes from its piece and peer selection strategies. Two such strategies have been introduced by the BitTorrent protocol: the rare...
152
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
For UFRGS's first participation in CLEF our goal was to compare the performance of heavier and lighter stemming strategies using the Portuguese data collections for monolingua...