941 search results - page 175 / 189 » Efficient Testing of Large Graphs |
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
When researching new product ideas or filing new patents, inventors need to retrieve all relevant pre-existing know-how and/or to exploit and enforce patents in their technologica...
103
click to vote
INFSOF
2010
14 years 6 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
ASUNAM
2010
IEEE
14 years 11 months ago
2010
IEEE
Problem resolution is a key issue in the IT service industry. A large service provider handles, on daily basis, thousands of tickets that report various types of problems from its...
112
click to vote
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We propose a novel meshless deformable model for in vivo cardiac left ventricle (LV) 3D motion estimation. As a relatively new technology, tagged MRI (tMRI) provides a direct and ...
JFR
2006
14 years 9 months ago
2006
In mobile robotics, there are often features that, while potentially powerful for improving navigation, prove difficult to profit from as they generalize poorly to novel situations...