3428 search results - page 207 / 686 » Making the Case |
128
Voted
ECBS
2007
IEEE
15 years 11 months 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...
147
Voted
GLOBECOM
2007
IEEE
15 years 11 months 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...
132
Voted
HICSS
2007
IEEE
15 years 11 months 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...
132
click to vote
COST
2007
Springer
15 years 10 months 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...
146
click to vote
CP
2007
Springer
15 years 10 months 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...