Sciweavers

555 search results - page 73 / 111
» Data Modelling Languages: An Ontological Study
Sort
View
DEXA
2009
Springer
120views Database» more  DEXA 2009»
14 years 4 months ago
Supporting Personal Semantic Annotations in P2P Semantic Wikis
In this paper, we propose to extend Peer-to-Peer Semantic Wikis with personal semantic annotations. Semantic Wikis are one of the most successful Semantic Web applications. In sema...
Diego Torres, Hala Skaf-Molli, Alicia Díaz,...
ICDM
2006
IEEE
176views Data Mining» more  ICDM 2006»
14 years 4 months ago
Razor: mining distance-constrained embedded subtrees
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...
Henry Tan, Tharam S. Dillon, Fedja Hadzic, Elizabe...
CADE
2003
Springer
14 years 10 months ago
Proving Pointer Programs in Higher-Order Logic
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
Farhad Mehta, Tobias Nipkow
INFORMATICALT
2008
162views more  INFORMATICALT 2008»
13 years 10 months ago
Vague Rough Set Techniques for Uncertainty Processing in Relational Database Model
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
Karan Singh, Samajh Singh Thakur, Mangi Lal
BMCBI
2006
142views more  BMCBI 2006»
13 years 10 months ago
Correlated fragile site expression allows the identification of candidate fragile genes involved in immunity and associated with
Background: Common fragile sites (cfs) are specific regions in the human genome that are particularly prone to genomic instability under conditions of replicative stress. Several ...
Angela Re, Davide Corà, Alda Maria Puliti, ...