Sciweavers

3995 search results - page 391 / 799
» Linearization of hybrid processes
Sort
View
WCE
2007
15 years 8 months ago
Anisotropic Imaging Of Tumours Using Elastic Wave Signals
—In this short paper we show how one may extract elastic properties of materials by probing it with elastic waves and processing the signal that returns (i.e. the scattered waves...
Clifford J. Nolan, Niall Ryan
BPM
2009
Springer
153views Business» more  BPM 2009»
15 years 8 months ago
DECLARE Demo: A Constraint-based Workflow Management System
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
Maja Pesic, Helen Schonenberg, Wil M. P. van der A...
AES
2007
Springer
141views Cryptology» more  AES 2007»
15 years 7 months ago
Numerical methods for modelling leaching of pollutants in soils
Pesticides used in crop production and herbicides used for weed control are the major source of nonpoint-source pollutants to groundwater. The movement and degradation of pesticid...
M. Isabel Asensio, B. Ayuso, Luis Ferragut, G. San...
AUTOMATICA
2008
74views more  AUTOMATICA 2008»
15 years 7 months ago
Policy iteration based feedback control
It is well known that stochastic control systems can be viewed as Markov decision processes (MDPs) with continuous state spaces. In this paper, we propose to apply the policy iter...
Kan-Jian Zhang, Yan-Kai Xu, Xi Chen, Xi-Ren Cao
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 6 months ago
Dynamic Connectivity in ALOHA Ad Hoc Networks
We consider an ad hoc network which uses multihop routing and slotted ALOHA for its MAC contention. We show that the minimum time required for a packet to reach the destination fr...
Radha Krishna Ganti, Martin Haenggi