666 search results - page 49 / 134 » Inspector Methods for State Abstraction |
FMSD
2006
14 years 9 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Discrete power allocation strategies for amplifyand-forward cooperative networks are proposed based on selective relaying methods. The goal of power allocation is to ma...
ICANN
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Over the last few years, functional Magnetic Resonance Imaging (fMRI) has emerged as a new and powerful method to map the cognitive states of a human subject to specific...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— We consider the problem of apprenticeship learning when the expert’s demonstration covers only a small part of a large state space. Inverse Reinforcement Learning (IR...
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—In this paper, we introduce a framework for distributed opportunistic scheduling in multihop wireless ad hoc networks. With the proposed framework, one can take a schedu...