Sciweavers

10271 search results - page 247 / 2055
» Computational science
Sort
View
MFCS
2010
Springer
15 years 5 months ago
The Multivariate Resultant Is NP-hard in Any Characteristic
Bruno Grenet, Pascal Koiran, Natacha Portier
MFCS
2010
Springer
15 years 5 months ago
On the Topological Complexity of MSO+U and Related Automata Models
Szczepan Hummel, Michal Skrzypczak, Szymon Toruncz...
SPIN
2010
Springer
15 years 5 months ago
Symbolic Object Code Analysis
Jan Tobias Mühlberg, Gerald Lüttgen
104
Voted
TCS
2010
15 years 5 months ago
On-demand strategy annotations revisited: An improved on-demand evaluation strategy
María Alpuente, Santiago Escobar, Bernhard ...