142 search results - page 18 / 29 » Variability encoding: From compile-time to load-time variabi... |
116
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: In plant mitochondria, the post-transcriptional RNA editing process converts C to U at a number of specific sites of the mRNA sequence and usually restores phylogeneti...
161
click to vote
IJRR
2007
15 years 3 months ago
2007
— Haptics, like the fields of robotics and motion control, relies on high stiffness position control of electric motors. Traditionally DC motors are driven by current amplifier...
126
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
89
Voted
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
An encoder based rate smoothing scheme which uses explicit slicebased mode selection has been proposed recently. The algorithm provides significantly smoother bitstream from a va...
108
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...