Sciweavers

ICMLA
2010
13 years 2 months ago
Incremental Learning of Relational Action Rules
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
Christophe Rodrigues, Pierre Gérard, C&eacu...
IANDC
2010
125views more  IANDC 2010»
13 years 2 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
GLOBECOM
2010
IEEE
13 years 2 months ago
Space-Time Correlation Properties of a 3D Two-Sphere Model for Non-Isotropic MIMO Mobile-to-Mobile Channels
This paper proposes a novel three-dimensional (3D) two-sphere regular-shaped geometry-based stochastic model (RSGBSM) with only double-bounced rays for non-isotropic scattering nar...
Yi Yuan, Xiang Cheng, Cheng-Xiang Wang, David I. L...
ENVSOFT
2010
79views more  ENVSOFT 2010»
13 years 2 months ago
Interactive modelling for natural resource management
We present a modelling approach to rapidly assess the effect of management decisions on ecological problems and demonstrate its use in fishery management. Each stage of the approa...
F. Boschetti, A. de La Tour, E. A. Fulton, L. R. L...
ENTCS
2010
97views more  ENTCS 2010»
13 years 2 months ago
A Framework for Modelling and Simulating Networks of Cells
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
Sara Montagna, Mirko Viroli
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 2 months ago
Coding for High-Density Recording on a 1-D Granular Magnetic Medium
In terabit-density magnetic recording, several bits of data can be replaced by the values of their neighbors in the storage medium. As a result, errors in the medium are dependent ...
Arya Mazumdar, Alexander Barg, Navin Kashyap
COMCOM
2010
167views more  COMCOM 2010»
13 years 2 months ago
Effective load for flow-level performance modelling of file transfers in wireless LANs
Today, a wide range of 802.11-based Wireless LANs (WLANs) have become dominant to provide wireless Internet access for file transfers. For engineering purposes, there is a need fo...
Geert Jan Hoekstra, Robert D. van der Mei
CMOT
2010
203views more  CMOT 2010»
13 years 2 months ago
A Bayesian approach to modeling lost person behaviors based on terrain features in Wilderness Search and Rescue
: In Wilderness Search and Rescue (WiSAR), the incident commander (IC) creates a probability distribution map of the likely location of the missing person. This map is important be...
Lanny Lin, Michael A. Goodrich
AISS
2010
137views more  AISS 2010»
13 years 2 months ago
Mathematical Multi-objective Model for the selection of a portfolio of investment in the Mexican Stock Market
A mathematical multi objective model for the selection of a portfolio of investment is presented and its application in the Mexican Stock Exchange (BMV). The multi objective model...
José Crispín Zavala Díaz, Mar...
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
13 years 2 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler