Sciweavers

721 search results - page 10 / 145
» Stability for Effective Algebras
Sort
View
IFIPTCS
2010
14 years 9 months ago
Convexity, Duality and Effects
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
Bart Jacobs
IJAC
2007
59views more  IJAC 2007»
14 years 11 months ago
Automorphic Equivalence Problem for Free Associative Algebras of Rank Two
Let K x, y be the free associative algebra of rank 2 over an algebraically closed constructive field of any characteristic. We present an algorithm which decides whether or not tw...
Vesselin Drensky, Jie-Tai Yu
MCSS
2008
Springer
14 years 11 months ago
Maximal solution to algebraic Riccati equations linked to infinite Markov jump linear systems
In this paper we deal with a perturbed algebraic Riccati equation in an infinite dimensional Banach space. Besides the interest in its own right, this class of equations appears, ...
Jack Baczynski, Marcelo D. Fragoso
DBPL
2007
Springer
119views Database» more  DBPL 2007»
15 years 3 months ago
A Better Semantics for XQuery with Side-Effects
Abstract. Formal semantics for XQuery with side-effects have been proposed in [13, 16]. We propose a different semantics which is better suited for database compilation. We substan...
Giorgio Ghelli, Nicola Onose, Kristoffer Hø...
CVPR
2005
IEEE
16 years 1 months ago
Full-Frame Video Stabilization
Video stabilization is an important video enhancement technology which aims at removing annoying shaky motion from videos. We propose a practical and robust approach of video stab...
Yasuyuki Matsushita, Eyal Ofek, Xiaoou Tang, Heung...