Sciweavers

3984 search results - page 591 / 797
» A Model-Driven Transformation Method
Sort
View
117
Voted
WWW
2004
ACM
16 years 5 months ago
Designing and Creating a Web Site Based on RDF Content
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
Eero Hyvönen, Kim Viljanen, Markus Holi
KDD
2008
ACM
135views Data Mining» more  KDD 2008»
16 years 5 months ago
Effective and efficient itemset pattern summarization: regression-based approaches
In this paper, we propose a set of novel regression-based approaches to effectively and efficiently summarize frequent itemset patterns. Specifically, we show that the problem of ...
Ruoming Jin, Muad Abu-Ata, Yang Xiang, Ning Ruan
POPL
2006
ACM
16 years 5 months ago
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
Xavier Leroy
SIGMOD
2004
ACM
154views Database» more  SIGMOD 2004»
16 years 5 months ago
Compressing Historical Information in Sensor Networks
We are inevitably moving into a realm where small and inexpensive wireless devices would be seamlessly embedded in the physical world and form a wireless sensor network in order t...
Antonios Deligiannakis, Yannis Kotidis, Nick Rouss...
SIGMOD
2001
ACM
145views Database» more  SIGMOD 2001»
16 years 5 months ago
Automatic Segmentation of Text into Structured Records
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...
Vinayak R. Borkar, Kaustubh Deshmukh, Sunita Saraw...