Sciweavers

3604 search results - page 463 / 721
» Relation rule mining
Sort
View
NA
2007
81views more  NA 2007»
15 years 6 months ago
Positive weight quadrature on the sphere and monotonicities of Jacobi polynomials
In 2000, Reimer proved that a positive weight quadrature rule on the unit sphere Sd ⊂ Rd+1 has the property of quadrature regularity. Hesse and Sloan used a related property, ca...
Paul C. Leopardi
PVLDB
2010
151views more  PVLDB 2010»
15 years 5 months ago
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh...
SEMWEB
2010
Springer
15 years 4 months ago
Representing and Querying Validity Time in RDF and OWL: A Logic-Based Approach
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
Boris Motik
SEMWEB
2010
Springer
15 years 4 months ago
Mapping Master: A Flexible Approach for Mapping Spreadsheets to OWL
We describe a mapping language for converting data contained in spreadsheets into the Web Ontology Language (OWL). The developed language, called M2 , overcomes shortcomings with e...
Martin J. O'Connor, Christian Halaschek-Wiener, Ma...
SOFSEM
2010
Springer
15 years 4 months ago
Forcing Monotonicity in Parameterized Verification: From Multisets to Words
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
Parosh Aziz Abdulla