698 search results - page 76 / 140 » Fast functional simulation using branching programs |
126
Voted
TOG
2002
15 years 1 months ago
2002
Recently a breakthrough has occurred in graphics hardware: fixed function pipelines have been replaced with programmable vertex and fragment processors. In the near future, the gr...
109
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...
103
click to vote
MP
2006
15 years 1 months ago
2006
Monte Carlo methods have been used extensively in the area of stochastic programming. As with other methods that involve a level of uncertainty, theoretical properties are required...
101
click to vote
NCA
2010
IEEE
14 years 8 months ago
2010
IEEE
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
107
click to vote
HYBRID
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...