2040 search results - page 277 / 408 » On the Complexity of Error Explanation |
151
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
178
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
We design a linear time approximation scheme for the GaleBerlekamp Switching Game and generalize it to a wider class of dense fragile minimization problems including the Nearest C...
165
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
153
Voted
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Users of traditional tutorials and help systems often have difficulty finding the components described or pictured in the procedural instructions. Users also unintentionally miss ...
175
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...