270 search results - page 33 / 54 » Programming with Intervals |
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
ENTCS
2008
13 years 6 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
IEEECIT
2010
IEEE
13 years 5 months ago
2010
IEEE
—In this paper, we present a new spectrum-hole prediction model for cognitive radio (CR) systems based on the IEEE 802.11 wireless local areas networks. We have also analyzed the...
IGPL
2011
12 years 10 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
ESOP
2007
Springer
14 years 28 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...