5205 search results - page 990 / 1041 » Tilings and model theory |
175
click to vote
INFOCOM
2007
IEEE
16 years 13 days ago
2007
IEEE
— We propose the quality-of-service (QoS) driven power allocation schemes for parallel fading channels when considering imperfect channel estimations. In particular, the parallel...
143
click to vote
NDSS
2007
IEEE
16 years 13 days ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
176
click to vote
TPHOL
2007
IEEE
16 years 12 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
176
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
Distributed Partially Observable Markov Decision Problems (Distributed POMDPs) are a popular approach for modeling multi-agent systems acting in uncertain domains. Given the signi...
155
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...