4762 search results - page 785 / 953 » About the use of protein models |
106
click to vote
CP
2010
Springer
15 years 5 hour ago
2010
Springer
Abstract. Rambo is the Reconfigurable Atomic Memory for Basic Objects, a formally specified algorithm that implements atomic read/write shared memory in dynamic networks, where t...
111
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...
127
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
— We present an algorithm that probabilistically covers a bounded region of the state space of a nonlinear system with a sparse tree of feedback stabilized trajectories leading t...
109
click to vote
KES
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Motivation: Although studies have shown that genetic alterations are causally involved in numerous human diseases, still not much is known about the molecular mechanisms ...
KBSE
2010
IEEE
14 years 12 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...