414 search results - page 27 / 83 » Transforming Data from DataPile Structure into RDF |
MPC
1995
Springer
13 years 11 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
ICDM
2007
IEEE
14 years 2 months ago
2007
IEEE
Recently, there arise a large number of graphs with massive sizes and complex structures in many new applications, such as biological networks, social networks, and the Web, deman...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
Previous efforts on event detection from the web have focused primarily on web content and structure data ignoring the rich collection of web log data. In this paper, we propose t...
ICCV
1999
IEEE
14 years 5 days ago
1999
IEEE
We describe an effective and novel approach to infer sign and direction of principal curvatures at each input site from noisy 3D data. Unlike most previous approaches, no local su...
BMCBI
2008
13 years 8 months ago
2008
Background: Systematic approaches for identifying proteins involved in different types of cancer are needed. Experimental techniques such as microarrays are being used to characte...