11030 search results - page 497 / 2206 » Generative Sound Models |
160
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
163
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Research on numerical solution methods for partially observable Markov decision processes (POMDPs) has primarily focused on discrete-state models, and these algorithms ...
180
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
162
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
183
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—In the multi-user MIMO uplink channel, the presence of multiple receive antennas enables the base station to serve a number of users simultaneously, thus increasing over...