8699 search results - page 1575 / 1740 » Elements of the Theory of Computation |
115
click to vote
IJHPCA
2011
14 years 6 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
SCHULE
2005
Springer
15 years 4 months ago
2005
Springer
: Informatik-Unterricht ist h¨aufig gepr¨agt durch ein Vermitteln von Theorie mit anschliessenden ¨Ubungen. Wichtige Aspekte wie etwa selbstst¨andiges Arbeiten, Kreativit¨at ...
116
click to vote
STOC
2012
ACM
13 years 1 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
102
click to vote
KDD
2009
ACM
15 years 12 months ago
2009
ACM
Learning probabilistic graphical models from high-dimensional datasets is a computationally challenging task. In many interesting applications, the domain dimensionality is such a...
GI
2007
Springer
15 years 5 months ago
2007
Springer
: Das Konzept des Internet der Dinge überträgt die Verantwortung für Routing und Servicefunktionen in die Ausführungsebene der heutigen Materialflusssteuerung. Ziele dieses neu...