Sciweavers

1816 search results - page 348 / 364
» Case study in modeling and simulation validation methodology
Sort
View
FUIN
2000
76views more  FUIN 2000»
14 years 9 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski
AUTOMATICA
1999
145views more  AUTOMATICA 1999»
14 years 9 months ago
Control of systems integrating logic, dynamics, and constraints
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
Alberto Bemporad, Manfred Morari
CORR
2010
Springer
105views Education» more  CORR 2010»
14 years 8 months ago
Optimism in Reinforcement Learning Based on Kullback-Leibler Divergence
We consider model-based reinforcement learning in finite Markov Decision Processes (MDPs), focussing on so-called optimistic strategies. Optimism is usually implemented by carryin...
Sarah Filippi, Olivier Cappé, Aurelien Gari...
INFOCOM
2010
IEEE
14 years 8 months ago
Buffer Management for Aggregated Streaming Data with Packet Dependencies
Abstract—In many applications the traffic traversing the network has inter-packet dependencies due to application-level encoding schemes. For some applications, e.g., multimedia...
Gabriel Scalosub, Peter Marbach, Jörg Liebehe...
COGSR
2010
102views more  COGSR 2010»
14 years 4 months ago
Emergence of self-organized symbol-based communication in artificial creatures
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...
Angelo Loula, Ricardo R. Gudwin, Charbel Niñ...