News tagged with program

Logic in computer science

All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Logical arguments like this one have been studied since antiquity. In the last few decades, however, logic research has changed considerably: ...

May 27, 2014
4.2 / 5 (5) 0

Russia to only use ISS until 2020: official

A senior Russian official said Tuesday that Russia will only need the International Space Station (ISS) until 2020, as previous plans by Washington to use it until 2024 were thrown into doubt amid the Ukraine ...

May 13, 2014
3.8 / 5 (8) 4

Who are the aggressive stars of CCTV?

A computer program can analyze CCTV images and spot aggressive human behaviour nine times out of ten, according to research published in the International Journal of Computational Vision and Robotics. The research is an important ...

Apr 29, 2014
not rated yet 0

Programming the smart home: 'If this, then that'

Homes already have intelligent devices beyond the TV remote—garage door openers, coffee makers, laundry machines, lights, HVAC—but each has its own arcane steps for programming. User research now shows ...

Apr 28, 2014
5 / 5 (5) 0