2550 search results - page 359 / 510 » Difference Decision Diagrams |
151
click to vote
COMPLEX
2009
Springer
16 years 29 days ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
156
click to vote
SEMWEB
2009
Springer
16 years 28 days ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...
181
click to vote
MOBICOM
2009
ACM
16 years 27 days ago
2009
ACM
The coexistence of two unlicensed links is considered, where one link interferes with the transmission of the other, over a timevarying, block-fading channel. In the absence of fa...
190
click to vote
FOCS
2007
IEEE
16 years 22 days ago
2007
IEEE
We consider a variant of the classic multi-armed bandit problem (MAB), which we call FEEDBACK MAB, where the reward obtained by playing each of n independent arms varies according...
156
click to vote
VMCAI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...