3052 search results - page 251 / 611 » Weakly Distributive Domains |
194
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
183
click to vote
SIGECOM
2009
ACM
16 years 1 months ago
2009
ACM
The monopolist’s theory of optimal single-item auctions for agents with independent private values can be summarized by two statements. The first is from Myerson [8]: the optim...
190
click to vote
SRDS
2008
IEEE
16 years 1 months ago
2008
IEEE
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...
212
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Data propagation in wireless sensor networks is usually performed as a multihop process. To deliver a single message, the resources of many sensor nodes are used and a lot of ener...
158
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
—In this paper we present a PDA-based fetal heart monitor that is able to provide instantaneous fetal heart rate (FHR) for the pregnant women. A modified spectral subtraction alg...