709 search results - page 78 / 142 » An Equational Theory for Transactions |
DCG
2002
14 years 11 months ago
2002
Let V be a vector space of dimension d over a field K and let A be a central arrangement of hyperplanes in V. To answer a question posed by K. Aomoto, P. Orlik and H. Terao constru...
112
click to vote
SIAMAM
2002
14 years 11 months ago
2002
A new morphological multiscale method in 3D image processing is presented which combines the image processing methodology based on nonlinear diffusion equations and the theory of g...
DCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
VTC
2008
IEEE
15 years 5 months ago
2008
IEEE
-This paper addresses the problem of performance analysis for maximum likelihood (ML) detection in two-input multiple-output multiplexing systems. A novel analytical method is pres...
108
click to vote
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...