Sciweavers

2570 search results - page 273 / 514
» The Semantic Web And Its Languages
Sort
View
POPL
2007
ACM
16 years 7 months ago
Towards a mechanized metatheory of standard ML
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
Daniel K. Lee, Karl Crary, Robert Harper
WWW
2005
ACM
16 years 7 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama
WWW
2002
ACM
16 years 7 months ago
Authoring and annotation of web pages in CREAM
Richly interlinked, machine-understandable data constitute the basis for the Semantic Web. We provide a framework, CREAM, that allows for creation of metadata. While the annotatio...
Siegfried Handschuh, Steffen Staab
PAKDD
2010
ACM
167views Data Mining» more  PAKDD 2010»
15 years 11 months ago
Hierarchical Web-Page Clustering via In-Page and Cross-Page Link Structures
Abstract. Despite of the wide diversity of web-pages, web-pages residing in a particular organization, in most cases, are organized with semantically hierarchic structures. For exa...
Cindy Xide Lin, Yintao Yu, Jiawei Han, Bing Liu
PRICAI
2000
Springer
15 years 10 months ago
Extracting Logical Schema from the Web
One of the main limitations when accessing the web is the lack of explicit structure, whose presence may help in understanding data semantics. Schema for web data can be constructe...
Vincenza Carchiolo, Alessandro Longheu, Michele Ma...