Sciweavers

CACM
2010
122views more  CACM 2010»
13 years 11 months ago
Functional logic programming
Sergio Antoy, Michael Hanus
CACM
2010
93views more  CACM 2010»
13 years 11 months ago
CHOC'LATE: a framework for specification-based testing
Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Tsong Yueh ...
CACM
2010
104views more  CACM 2010»
13 years 11 months ago
Faster dimension reduction
Data represented geometrically in high-dimensional vector spaces can be found in many applications. Images and videos, are often represented by assigning a dimension for every pix...
Nir Ailon, Bernard Chazelle
CACM
2010
65views more  CACM 2010»
13 years 11 months ago
Spies among us?
Samuel Greengard
CACM
2010
83views more  CACM 2010»
13 years 11 months ago
Beyond total capture: a constructive critique of lifelogging
Abigail Sellen, Steve Whittaker
CACM
2010
70views more  CACM 2010»
13 years 11 months ago
Making the case for computing
Cameron Wilson, Peter Harsha
CACM
2010
94views more  CACM 2010»
13 years 11 months ago
Going mobile
David Roman
CACM
2010
82views more  CACM 2010»
13 years 11 months ago
MapReduce: a flexible data processing tool
Jeffrey Dean, Sanjay Ghemawat
CACM
2010
95views more  CACM 2010»
13 years 11 months ago
Managing a corporate open source software asset
Vijay K. Gurbani, Anita Garvert, James D. Herbsleb