4353 search results - page 638 / 871 » Computational Challenges of Systems Biology |
160
click to vote
JIRS
2000
15 years 6 months ago
2000
Abstract. A wide range of microcomponents can today be produced using various microfabrication techniques. The assembly of complex microsystems consisting of several single compone...
192
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
179
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
165
click to vote
DEBU
2010
15 years 4 months ago
2010
Over the past decade, new solid state storage technologies, with flash being the most mature one, have become increasingly popular. Such technologies store data durably, and can a...
212
click to vote
PAMI
2011
15 years 1 months ago
2011
—In this paper, we describe the explicit application of articulation constraints for estimating the motion of a system of articulated planes. We relate articulations to the relat...