2701 search results - page 397 / 541 » On the form of witness terms |
186
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Sequence comparison is considered as a cornerstone application in bioinformatics, which forms the basis of many other applications. In particular, pairwise sequence alignment is a...
207
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents an interactive image segmentation framework which is ultra-fast and accurate. Our framework, termed "CO3", consists of three components: COupled repr...
145
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...
176
click to vote
JAIR
2008
15 years 6 months ago
2008
In this article we consider the issue of optimal control in collaborative multi-agent systems with stochastic dynamics. The agents have a joint task in which they have to reach a ...