5699 search results - page 1047 / 1140 » Alternating model trees |
210
click to vote
HASKELL
2009
ACM
16 years 27 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
197
click to vote
SMA
2009
ACM
16 years 27 days ago
2009
ACM
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
213
click to vote
AB
2008
Springer
16 years 23 days ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
159
click to vote
BIBM
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper, we present an algorithm to simultaneously align three biological sequences with affine gap model and infer their common ancestral sequence. Our algorithm can be fu...
149
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
— We target M-ary data sequence estimation over time-variant frequency selective fading channels subject to cochannel interference (CCI). A novel joint reduced state sequence est...