6799 search results - page 296 / 1360 » The Tao of Modeling Spaces |
162
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
284
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
160
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The Enhanced Distributed Channel Access (EDCA) function of IEEE 802.11e standard defines multiple Access Categories (AC) with AC-specific Contention Window (CW) sizes, Arbitra...
168
click to vote
PG
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper proposes an image-based modeling of clouds where realistic clouds are created from satellite images using metaballs. The intention of the paper is for applications to s...
200
click to vote
EWRL
2008
15 years 8 months ago
2008
We consider reinforcement learning in the parameterized setup, where the model is known to belong to a parameterized family of Markov Decision Processes (MDPs). We further impose ...