29908 search results - page 541 / 5982 » On the Complexity of |
160
click to vote
FCT
2005
Springer
16 years 21 days ago
2005
Springer
We prove completeness results for twenty-three problems in semilinear geometry. These results involve semilinear sets given by additive circuits as input data. If arbitrary real co...
210
click to vote
FCT
2005
Springer
16 years 21 days ago
2005
Springer
We review a recently introduced computation model for streaming and external memory data. An important feature of this model is that it distinguishes between sequentially reading (...
169
click to vote
GECCO
2005
Springer
16 years 21 days ago
2005
Springer
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...