STOC
2012
ACM
12 years 1 months ago
2012
ACM
d abstract; full version begins on page 13) Ryan O’Donnell∗ John Wright† November 2, 2011 We show that distinguishing 1 2 -satisfiable Unique-Games instances from (3 8 + )-...
CIKM
2011
Springer
12 years 11 months ago
2011
Springer
Aggregated search is the task of integrating results from potentially multiple specialized search services, or verticals, into the Web search results. The task requires predicting...
ISR
2011
13 years 2 months ago
2011
e from http://ssrn.com/abstract=980726 Acknowledgements: The authors thank Ramayya Krishnan, Marshall Van Alstyne, Senior Editor Sanjeev Dewan, the associate editor and referees fo...
CHI
2011
ACM
13 years 3 months ago
2011
ACM
While many devices today increasingly have the ability to predict human activities, it is still difficult to build accurate personalized machine learning models. As users today wi...
INTERACTIONS
1998
13 years 11 months ago
1998
This article summarizes the historical development of major advances in humancomputer interaction technology, emphasizing the pivotal role of university research in the advancemen...
ATVA
2008
Springer
14 years 1 months ago
2008
Springer
marization using Abstract Transformers Daniel Kr
ATVA
2008
Springer
14 years 1 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
CAV
2000
Springer
14 years 3 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
ISER
1999
Springer
14 years 3 months ago
1999
Springer
Abstract: In November of 1998, an expedition from Carnegie Mellon University travelled to the Patriot Hills, Antarctica. The purpose of the expedition was to demonstrate autonomous...
TACAS
2005
Springer
14 years 4 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...