Cutting pick is a kind of widely-used consumptive mining tool.

采煤机截齿是一种用量极大的消耗性采煤工具。

youdao

These texts are gathered from the Web by an automatic mining tool PTMiner.

我们所用的平行文本是从万维网上自动获得的半结构性平行文本。

youdao

With Google's new Correlate system, companies have a powerful (and, free!) new data-mining tool on their hands.

通过Google新的Correlate系统，企业手头上会有一个强大(并且，免费！)的新数据挖掘工具。

youdao

If mining your own thoughts is of interest, I recommend OhLife, a digital journaling tool that sends a regular email prompt for your thoughts.

FORBES: Digital Self-Discovery: How to Hold on to Your Digital Memories Forever

He has created a tool he calls Maltego that lets just about anybody do the kind of data mining that in the past only fraud investors, government specialists and hackers typically could do.

FORBES: Magazine Article