1246 search results - page 216 / 250 » Recursive Timed Automata |
93
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— Palpation of tissue and organs during a surgical procedure provides clinicians with valuable information for diagnosis and surgical planning. In robot-assisted minimally invasi...
116
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we describe the parallelization of a dynamic programming algorithm used to find common RNA secondary structures including pseudoknots and similar structures. The se...
127
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
90
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...
96
Voted
ICC
2008
IEEE
15 years 8 months ago
2008
IEEE
— Systematic Luby Transform (SLT) codes have shown good performance for single antenna aided systems for transmission over AWGN and uncorrelated Rayleigh fading channels. For the...