News Archiv
Two papers from MPI-SWS were accepted to ACM WSDM [...]
Rupak Majumdar and Viktor Kuncak (EPFL) are co-chairs of the 29th International Conference on Computer-Aided Verification (CAV 2017), to be held between July 22 and 28, [...]
Joel Ouaknine is the Program Chair of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), to be held between 20 and 23 June, 2017 in Reykjavik. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
Während die internationale Journalistengruppe die Panama Papers in die Tiefe analysierte und sich auf Personen wie Nawaz Sharif, Premierminister von Pakistan, oder Petro Poroshenko, Präsident der Ukraine, fokussierte, gingen die jungen Gründer mit ihrer neuartigen Software in die Breite. Sie fanden heraus, dass beispielsweise nicht Politiker die größte Gruppe bildeten, sondern Sportler. Sie machten mehr als 20 Prozent der von der Software identifizierten Personen aus, dicht gefolgt [...]
Understanding the meaning of a word in its current context is one of the big challenges when searching for information. STICS is a new kind of semantic search engine that not only searches for words, but for meaning: it understands concepts and categories.
187188189190191 ...
236»