3416 search results - page 668 / 684 » Can Machines Learn Logics |
CHI
2008
ACM
14 years 10 months ago
2008
ACM
Mischief is a system to support traditional classroom practices between a remote instructor and a group of collocated students. Meant for developing regions, each student in the c...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
HPCA
2008
IEEE
14 years 10 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
Managing uncertain data using probabilistic frameworks has attracted much interest lately in the database literature, and a central computational challenge is probabilistic infere...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...