7335 search results - page 1229 / 1467 » Scene Based Reasoning |
165
click to vote
ISCA
2003
IEEE
15 years 11 months ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...
178
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
204
click to vote
ACMICEC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...
185
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
163
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
Computer-based annotation is increasing in popularity as a mechanism for revising documents and sharing comments over the Internet. One reason behind this surge is that viewpoints...