1411 search results - page 93 / 283 » Interactive Coding for Interactive Proofs |
111
click to vote
MSR
2005
ACM
15 years 6 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
117
click to vote
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
IWRIDL
2006
ACM
15 years 6 months ago
2006
ACM
We examine some research issues in pattern recognition and image processing that have been spurred by the needs of digital libraries. Broader – and not only linguistic – conte...
97
Voted
FPL
2008
Springer
15 years 2 months ago
2008
Springer
: Modeling the interactions of biological molecules, or docking is critical to both understanding basic life processes and to designing new drugs. Here we describe the FPGA-based a...
ICMCS
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper proposes an efficient video coding method based on audio-visual attention, which is motivated by the fact that cross-modal interaction significantly affects humans'...