Sciweavers

663 search results - page 83 / 133
» Semantic Analysis of Association Rules
Sort
View
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
14 years 4 months ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
RR
2009
Springer
14 years 4 months ago
On the Ostensibly Silent 'W' in OWL 2 RL
In this paper, we discuss the draft OWL 2 RL profile from the perspective of applying the constituent rules over Web data. In particular, borrowing from previous work, we discuss ...
Aidan Hogan, Stefan Decker
LISP
2008
104views more  LISP 2008»
13 years 10 months ago
On the implementation of automatic differentiation tools
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
Christian H. Bischof, Paul D. Hovland, Boyana Norr...
EDBT
2009
ACM
85views Database» more  EDBT 2009»
14 years 2 months ago
Expressive, yet tractable XML keys
Constraints are important for a variety of XML recommendations and applications. Consequently, there are numerous opportunities for advancing the treatment of XML semantics. In pa...
Sven Hartmann, Sebastian Link
POPL
1991
ACM
14 years 1 months ago
Subtyping Recursive Types
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
Roberto M. Amadio, Luca Cardelli