4839 search results - page 411 / 968 » A survey of computational complexity results in systems and ... |
193
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
As application complexity increases, modern embedded systems have adopted heterogeneous processing elements to enhance the computing capability or to reduce the power consumption. ...
207
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
210
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
Diffusion Tensor Imaging (DTI) is a magnetic resonance imaging method that can be used to measure local information about the structure of white matter within the human brain. Com...
175
click to vote
FOCS
1997
IEEE
15 years 11 months ago
1997
IEEE
We prove old and new results on the complexity of computing the dimension of algebraic varieties. In particular, we show that this problem is NP-complete in the Blum-Shub-Smale mo...
171
click to vote
ICPADS
2007
IEEE
16 years 1 months ago
2007
IEEE
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...