Sciweavers

1819 search results - page 295 / 364
» Performance Evaluation of Demodulation Methods: a Combinator...
Sort
View
BMCBI
2005
89views more  BMCBI 2005»
15 years 6 months ago
An empirical analysis of training protocols for probabilistic gene finders
Background: Generalized hidden Markov models (GHMMs) appear to be approaching acceptance as a de facto standard for state-of-the-art ab initio gene finding, as evidenced by the re...
William H. Majoros, Steven Salzberg
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
BMCBI
2004
114views more  BMCBI 2004»
15 years 6 months ago
Profiled support vector machines for antisense oligonucleotide efficacy prediction
Background: This paper presents the use of Support Vector Machines (SVMs) for prediction and analysis of antisense oligonucleotide (AO) efficacy. The collected database comprises ...
Gustavo Camps-Valls, Alistair M. Chalk, Antonio J....
IROS
2008
IEEE
171views Robotics» more  IROS 2008»
16 years 1 months ago
Action planner of hybrid leg-wheel robots for lunar and planetary exploration
— In this paper, we propose an action planning algorithm and its evaluation method based on dynamic simulation for a novel type of hybrid leg-wheel rover for planetary exploratio...
Eric Rohmer, Giulio Reina, Genya Ishigami, Keiji N...
CEC
2007
IEEE
16 years 1 months ago
Target shape design optimization by evolving splines
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
Pan Zhang, Xin Yao, Lei Jia, Bernhard Sendhoff, Th...