10072 search results - page 1485 / 2015 » Composition of Model Programs |
201
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
157
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
196
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose an algorithm for estimating the common secondary structure, alignment, and posterior base pairing probabilities for two RNA sequences. A definition of structural align...
168
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a new fast semi-supervised image segmentation method based on augmented tree partitioning. Unlike many existing methods that use a graph structure to mod...
149
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we propose a new approach for computing force-closure grasps of two-dimensional and threedimensional objects. Assuming n hard-finger contact with Coulomb fricti...