12745 search results - page 2266 / 2549 » Automating test automation |
137
click to vote
MJ
2007
15 years 4 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
129
click to vote
MMS
2007
15 years 4 months ago
2007
Abstract From lyrics-display on electronic music players and Karaoke videos to surtitles for live Chinese opera performance, one feature is common to all these everyday functionali...
141
click to vote
NAR
2007
15 years 4 months ago
2007
TOPOFIT-DB (T-DB) is a public web-based database of protein structural alignments based on the TOPOFIT method, providing a comprehensive resource for comparative analysis of prote...
119
click to vote
NAR
2007
15 years 4 months ago
2007
The wealth of transcript information that has been made publicly available in recent years has led to large pools of individual web sites offering access to bioinformatics softwar...
148
click to vote
PAMI
2007
15 years 4 months ago
2007
Abstract— Many vision problems can be formulated as minimization of appropriate energy functionals. These energy functionals are usually minimized, based on the calculus of varia...