1626 search results - page 42 / 326 » Hybrid computing algorithm in representing solid model |
127
Voted
DAGSTUHL
2010
15 years 4 months ago
2010
The display of surfaces and solids has usually been restricted to the domain of scientific visualization; however, little work has been done on the visualization of surfaces and s...
126
click to vote
AAAI
2000
15 years 3 months ago
2000
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
101
Voted
WABI
2007
Springer
15 years 8 months ago
2007
Springer
Graph-theoretic models have come to the forefront as some of the most powerful and practical methods for sequence assembly. Simultaneously, the computational hardness of the underl...
131
Voted
BCB
2010
14 years 9 months ago
2010
Many biologically motivated problems are expressed as dynamic programming recurrences and are difficult to parallelize due to the intrinsic data dependencies in their algorithms. ...
130
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...