6358 search results - page 1048 / 1272 » Computing spectral sequences |
191
click to vote
ICCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
187
click to vote
IMSCCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Comparative genomics has become an essential approach for identifying homologous gene candidates and their functions, and for studying genome evolution. We developed GenomeBlast, ...
177
click to vote
NOMS
2006
IEEE
16 years 17 days ago
2006
IEEE
—This paper presents a new method, BART (Bandwidth Available in Real-Time), for estimating the end-toend available bandwidth over a network path. It estimates bandwidth quasi-con...
169
click to vote
SYNASC
2006
IEEE
16 years 17 days ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
180
click to vote
MOBICOM
2006
ACM
16 years 16 days ago
2006
ACM
It was recently reported that all known face and combined greedy-face routing variants cannot guarantee message delivery in arbitrary undirected planar graphs. The purpose of this...