Sciweavers

9067 search results - page 776 / 1814
» Adaptive Model Checking
Sort
View
BPM
2010
Springer
191views Business» more  BPM 2010»
15 years 8 months ago
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
Wil M. P. van der Aalst, Niels Lohmann, Marcello L...
WSC
2007
15 years 10 months ago
Ant-based approach for determining the change of measure in importance sampling
Importance Sampling is a potentially powerful variance reduction technique to speed up simulations where the objective depends on the occurrence of rare events. However, it is cru...
Poul E. Heegaard, Werner Sandmann
ACIIDS
2009
IEEE
159views Database» more  ACIIDS 2009»
15 years 5 months ago
Application to GA-Based Fuzzy Control for Nonlinear Systems with Uncertainty
In this study, we strive to combine the advantages of fuzzy theory, genetic algorithms (GA), H tracking control schemes, smooth control and adaptive laws to design an adaptive fuzz...
Po-Chen Chen, Ken Yeh, Cheng-Wu Chen, Chen-Yuan Ch...
ICRA
2009
IEEE
303views Robotics» more  ICRA 2009»
16 years 2 months ago
Dynamic stability of variable stiffness running
— Humans and animals adapt their leg impedance during running for both internal(e.g. loading) and external(e.g. surface) changes. In this paper we examine the relationship betwee...
Jae Yun Jun, Jonathan E. Clark
ISCAS
2008
IEEE
121views Hardware» more  ISCAS 2008»
16 years 2 months ago
Cost-effective echo and NEXT canceller designs for 10GBASE-T ethernet system
—In this paper, new echo and NEXT cancellers are proposed for echo and NEXT cancellation in full-duplex digital transmission over 10GBASE-T system. The proposed cancellation sche...
Yen-Liang Chen, Cheng-Zhou Zhan, An-Yeu Wu