4397 search results - page 229 / 880 » Relational Algebra Operations |
122
click to vote
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
154
Voted
FUIN
2002
15 years 3 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
178
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper we describe two methods for estimating the motion parameters of an image sequence. For a sequence of images, the global motion can be described by ???? independent m...
135
click to vote
ENTCS
2010
15 years 4 months ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...
105
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...