1722 search results - page 297 / 345 » Generating Tests from Counterexamples |
119
Voted
JUCS
2002
15 years 3 months ago
2002
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
197
Voted
SOSP
2009
ACM
16 years 17 days ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
143
Voted
TRECVID
2007
15 years 4 months ago
2007
TURED ABSTRACT Detection of shot boundary plays important roles in many video applications. Herein, a novel method on shot boundary detection from compressed video is proposed. Fir...
135
Voted
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
We introduce a method for estimating regional connectivity in diffusion tensor magnetic resonance imaging (DT-MRI) based on a fluid mechanics model. We customize the Navier-Stokes...
143
Voted
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
— Large Clusters, high availability clusters and Grid deployments often suffer from network, node or operating system faults and thus require the use of fault tolerant programmin...