1254 search results - page 230 / 251 » Making Hard Problems Harder |
160
Voted
CANDC
2011
ACM
14 years 13 days ago
2011
ACM
This paper describes a computerized aesthetic composition task that is based on a “creativity as search” metaphor. The technique collects detailed, moment-to-moment data about...
132
click to vote
CCS
2011
ACM
14 years 13 days ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
116
click to vote
CIKM
2011
Springer
14 years 13 days ago
2011
Springer
In most of the cases, scientists depend on previous literature which is relevant to their research fields for developing new ideas. However, it is not wise, nor possible, to trac...
123
Voted
CODES
2011
IEEE
14 years 8 days ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
122
click to vote
WSDM
2012
ACM
13 years 8 months ago
2012
ACM
We study the problem of correlating micro-blogging activity with stock-market events, defined as changes in the price and traded volume of stocks. Specifically, we collect messa...