3948 search results - page 703 / 790 » Integration Workbench: Integrating Schema Integration Tools |
204
click to vote
LPAR
2012
Springer
14 years 18 days ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
162
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
We present a tool for real-time visualization of motion features in 2D image sequences. The motion is estimated through an eigenvector analysis of the spatiotemporal structure ten...
116
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
The delay fault test pattern set generated by timing unaware commercial ATPG tools mostly affects very short paths, thereby increasing the escape chance of smaller delay defects. ...
129
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
157
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
In this article we describe a visual-analytic tool for the interrogation of evolving interaction network data such as those found in social, bibliometric, WWW and biological appli...