6274 search results - page 982 / 1255 » From query complexity to computational complexity |
224
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
234
click to vote
GI
2009
Springer
15 years 5 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
216
click to vote
GRAPHICSINTERFACE
2009
15 years 5 months ago
2009
Despite their numerous applications, efficiently rendering participating media remains a challenging task due to the intricacy of the radiative transport equation. While numerical...
202
click to vote
GRAPHICSINTERFACE
2009
15 years 5 months ago
2009
We present a simple and efficient method for reconstructing triangulated surfaces from massive oriented point sample datasets. The method combines streaming and parallelization, m...
203
click to vote
ICCV
2009
IEEE
15 years 5 months ago
2009
IEEE
Within the field of action recognition, features and descriptors are often engineered to be sparse and invariant to transformation. While sparsity makes the problem tractable, it ...