The first-order theories of Gödel's results necessarily leave mathematical objects ill-defined.
Carl Hewitt From [email protected] | December 26, 2018 at 11:02 AM
This is a plea to the technical community working in the domain of natural language processing and natural language understanding to appreciate the difference between...Walid Saba From [email protected] | September 16, 2018 at 08:32 PM
Finding errors is not the same as making certain a software product works correctly.
Yegor Bugayenko From Communications of the ACM | September 1, 2018 at 12:00 AM
Researchers should not treat practitioners as mere objects of their studies or simple sources of data, but work towards creating research partnerships with practitioners...Zeljko Obrenovic From [email protected] | November 1, 2016 at 10:56 AM
A few facts and opinions and a couple of announcements, with a prediction on where the "Hadoop stack" might be going.Michael Stonebraker From [email protected] | August 5, 2014 at 01:56 PM
Type inference made practical for an object-oriented/functional programming language.Bertrand Meyer From [email protected] | August 4, 2014 at 01:59 PM
This year ACM Multimedia had a new revision process that may be of interest for other ACM conferences. Let's review it and see also the best papers selection.Marco Bertini From [email protected] | November 4, 2013 at 11:27 AM
The Heidelberg Laureate Forum (HLF) 2013 is an annual event where 200 young researchers get to meet with and learn from 40 Turing Award, Fields Medal, Abel Prize...Vijay Ganesh From [email protected] | September 24, 2013 at 12:07 PM
The following question has polarized the computer-science community: Did Alan Turing's 1936 paper 'On Computable Numbers' influence the early history of computer...Edgar Daylight From [email protected] | August 19, 2013 at 09:41 AM
Catastrophism and reliance on dubious studies have no place in serious discussions of software engineering.
Bertrand Meyer From [email protected] | April 4, 2013 at 10:19 AM
ESEC-FSE 2013 (in Saint Petersburg,, 18-26 August) is the place to be for software engineering in 2013.Bertrand Meyer From [email protected] | January 22, 2013 at 09:15 AM
Daniel Spielman, Henry Ford II Professor of Computer Science, Mathematics, and Applied Science at Yale University, is the latest computer scientist to receive a...Jack Rosenberger From [email protected] | October 2, 2012 at 10:25 AM