5251 search results - page 859 / 1051 » A Framework for Ontology Integration |
217
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
To obtain correlated and complementary information contained in text mining and bibliometrics, hybrid clustering to incorporate textual content and citation information has become...
181
click to vote
ICCD
2005
IEEE
16 years 4 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
168
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Wire pipelining emerges as a new necessity for global wires due to increasing wire delay, shrinking clock period and growing chip size. Existing approaches on wire pipelining are ...
191
click to vote
SOSP
2007
ACM
16 years 4 months ago
2007
ACM
We introduce a new reliability infrastructure for file systems called I/O shepherding. I/O shepherding allows a file system developer to craft nuanced reliability policies to de...
205
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We propose a principled framework to model persistent motion in dynamic scenes. In contrast to previous efforts on object tracking and optical flow estimation that focus on local...