893 search results - page 151 / 179 » Environment Assumptions for Synthesis |
AIPS
1996
13 years 9 months ago
1996
Learning from experimentation allows a system to acquire planning domain knowledge by correcting its knowledge when an action execution fails. Experiments are designed and planned...
FORTE
1994
13 years 9 months ago
1994
We discuss four issues concerning the semantics of Message Flow Graphs (MFGs). MFGs are extensively used as pictures of message-passing behavior. One type of MFG, Message Sequence...
DIALM
2010
ACM
13 years 8 months ago
2010
ACM
In this paper we introduce the regional consecutive leader election (RCLE) problem, which extends the classic leader election problem to the ever-changing environment of mobile ad-...
GLOBECOM
2008
IEEE
13 years 7 months ago
2008
IEEE
Spatial correlation among received signals has a significant impact on the performance of a multipleinput multiple-output (MIMO) system. In prior research, expressions were derived...
HASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...