Sciweavers

4397 search results - page 86 / 880
» Relational Algebra Operations
Sort
View
COORDINATION
2004
Springer
14 years 3 months ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira
SIGMOD
1995
ACM
116views Database» more  SIGMOD 1995»
14 years 1 months ago
Incremental Maintenance of Views with Duplicates
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
Timothy Griffin, Leonid Libkin
CONCUR
2008
Springer
13 years 12 months ago
A Notion of Glue Expressiveness for Component-Based Systems
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
Simon Bliudze, Joseph Sifakis
CRV
2007
IEEE
139views Robotics» more  CRV 2007»
14 years 4 months ago
A Simple Operator for Very Precise Estimation of Ellipses
This paper presents a simple linear operator that accurately estimates the position and parameters of ellipse features. Based on the dual conic model, the operator avoids the inte...
Jean-Nicolas Ouellet, Patrick Hébert
ICCS
2005
Springer
14 years 3 months ago
Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
Albert Hartono, Alexander Sibiryakov, Marcel Nooij...