Sciweavers

461 search results - page 38 / 93
» Uniform Operators
Sort
View
AISC
2010
Springer
15 years 2 months ago
Symbolic Domain Decomposition
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
Jacques Carette, Alan P. Sexton, Volker Sorge, Ste...
IWCMC
2009
ACM
15 years 2 months ago
Interference and throughput analyses in dual-polarized wireless networks subject to Rayleigh fading
This paper investigates the impact of the polarization on the achievable throughput and the probability of successful transmission in the cellular network architectures. A channel...
Jean-Michel Dricot, François Horlin, Philip...
FM
2009
Springer
101views Formal Methods» more  FM 2009»
15 years 2 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...
PDIS
1994
IEEE
15 years 2 months ago
Framework for Object Migration in Federated Database Systems
Existing federated database systems (FDBS) provide uniform access to multiple heterogeneous DBS, but do not enable objects to move across the DBS while retaining global identity. ...
Elke Radeke, Marc H. Scholl
ALP
1990
Springer
15 years 2 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar