4074 search results - page 595 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
224
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Protein secondary structure prediction provides insight into protein function and is a valuable preliminary step for predicting the 3D structure of a protein. Dynamic ...
183
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: In cancer research, most clinical variables have already been investigated and are now well established. The use of transcriptomic variables has raised two problems: r...
191
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
154
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
157
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present an approach to obstacle avoidance and local path planning for polygonal robots. It decomposes the task into a model stage and a planning stage. The model ...