Sciweavers

2542 search results - page 161 / 509
» An Operational Definition of Context
Sort
View
FSTTCS
2000
Springer
15 years 10 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...
ISMIS
2000
Springer
15 years 10 months ago
Top-Down Query Processing in First Order Deductive Databases under the DWFS
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
C. A. Johnson
SGP
2007
15 years 9 months ago
Laplace-Beltrami eigenfunctions for deformation invariant shape representation
A deformation invariant representation of surfaces, the GPS embedding, is introduced using the eigenvalues and eigenfunctions of the Laplace-Beltrami differential operator. Notabl...
Raif M. Rustamov
DMKDTTT
2004
110views Data Mining» more  DMKDTTT 2004»
15 years 9 months ago
XML algebras for data mining
The XML is a new standard for data representation and exchange on the Internet. There are studies on XML query languages as well as XML algebras in literature. However, attention ...
Ming Zhang, Jingtao Yao
AOSD
2008
ACM
15 years 8 months ago
Expressive scoping of dynamically-deployed aspects
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...
Éric Tanter