Sciweavers

22018 search results - page 334 / 4404

» or 2004

115

ATAL
2004
Springer

110views Intelligent Agents» more ATAL 2004»

A Theoretical Analysis of Multi-Agent Patrolling Strategies

15 years 11 months ago

A Theoretical Analysis of Multi-Agent Patrolling Strategies

Download www.lamsade.dauphine.fr

Yann Chevaleyre, François Sempé, Geb...

claim paper

Read More »

154

Voted

ATVA
2004
Springer

68views Hardware» more ATVA 2004»

Theorem Proving Languages for Verification

15 years 11 months ago

Theorem Proving Languages for Verification

Download www.lix.polytechnique.fr

Jean-Pierre Jouannaud

claim paper

Read More »

146

BIBE
2004
IEEE

86views Bioinformatics» more BIBE 2004»

Good Spaced Seeds For Homology Search

15 years 11 months ago

Good Spaced Seeds For Homology Search

Download www.math.nus.edu.sg

Kwok Pui Choi, Fanfan Zeng, Louxin Zhang

claim paper

Read More »

158

Voted

BIBE
2004
IEEE

109views Bioinformatics» more BIBE 2004»

Estimating Seed Sensitivity on Homogeneous Alignments

15 years 11 months ago

Estimating Seed Sensitivity on Homogeneous Alignments

Download hal.archives-ouvertes.fr

Gregory Kucherov, Laurent Noé, Yann Ponty

claim paper

Read More »

163

BIRTHDAY
2004
Springer

79views Applied Computing» more BIRTHDAY 2004»

Some Results on Directable Automata

15 years 11 months ago

Some Results on Directable Automata

Download www.kyoto-su.ac.jp

Masami Ito, Kayoko Shikishima-Tsuji

claim paper

Read More »

« Prev « First page 334 / 4404 Last » Next »