3428 search results - page 207 / 686 » Making the Case |
157
click to vote
ECBS
2007
IEEE
16 years 26 days ago
2007
IEEE
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...
193
click to vote
GLOBECOM
2007
IEEE
16 years 26 days ago
2007
IEEE
— Sphere decoding (SD) is a low complexity maximum likelihood (ML) detection algorithm, which has been adapted for different linear channels in digital communications. The comple...
168
click to vote
HICSS
2007
IEEE
16 years 26 days ago
2007
IEEE
Most test coverage analyzers help in evaluating the effectiveness of testing by providing data on statement and branch coverage achieved during testing. If made available, the cov...
163
click to vote
COST
2007
Springer
16 years 21 days ago
2007
Springer
This study investigates how the psychological notion of affordance, known from human computer interface design, can be adopted for the analysis and design of communication of a use...
180
click to vote
CP
2007
Springer
16 years 21 days ago
2007
Springer
The techniques for making decisions, i.e., branching, play a central role in complete methods for solving structured CSP instances. In practice, there are cases when SAT solvers be...