1941 search results - page 60 / 389 » On the Hardness of Approximate Reasoning |
104
click to vote
CSCW
2011
ACM
14 years 6 months ago
2011
ACM
Bug reporting/fixing is an important social part of the software development process. The bug-fixing process inherently has strong inter-personal dynamics at play, especially in h...
IMC
2010
ACM
14 years 9 months ago
2010
ACM
Prior studies of Internet traffic have considered traffic at different resolutions and time scales: packets and flows for hours or days, aggregate packet statistics for days or we...
103
click to vote
KR
1992
Springer
15 years 3 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
ICIP
2003
IEEE
16 years 1 months ago
2003
IEEE
MLUTs used in color characterization require significant memory for embedded systems. Most tools that create device characterization maps, use MLUTs. For this reason, there is int...
STOC
2006
ACM
16 years 5 days ago
2006
ACM
We present reductions from lattice problems in the 2 norm to the corresponding problems in other norms such as 1, (and in fact in any other p norm where 1 p ). We consider latt...