10715 search results - page 1865 / 2143 » Proofs from Tests |
189
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
189
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
219
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
187
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This research is based on the realization that the desktop computing paradigm is not appropriate for television, because it is adapted to fundamentally different user aspirations ...
191
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Asymmetric functional divergence of paralogues is a key aspect of the traditional model of evolution following duplication. If one gene continues to perform the ancestral...