4922 search results - page 618 / 985 » Internet time out |
182
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...
209
click to vote
ICML
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper, we explore an application of basis pursuit to audio scene analysis. The goal of our work is to detect when certain sounds are present in a mixed audio signal. We fo...
203
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...
184
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
198
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we examine the use of implicit shape representations for nonrigid registration of serial CT liver examinations. Using ground truth in the form of corresponding land...