Sciweavers

3779 search results - page 260 / 756
» Linear Consistency Testing
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck
EVOW
2006
Springer
15 years 10 months ago
A Multiagent Algorithm for Graph Partitioning
The k-cut problem is an NP-complete problem which consists of finding a partition of a graph into k balanced parts such that the number of cut edges is minimized. Different algori...
Francesc Comellas, Emili Sapena
PKDD
2000
Springer
108views Data Mining» more  PKDD 2000»
15 years 10 months ago
Application of Reinforcement Learning to Electrical Power System Closed-Loop Emergency Control
This paper investigates the use of reinforcement learning in electric power system emergency control. The approach consists of using numerical simulations together with on-policy M...
Christophe Druet, Damien Ernst, Louis Wehenkel
WSC
2007
15 years 9 months ago
Kernel estimation for quantile sensitivities
Quantiles, also known as value-at-risk in financial applications, are important measures of random performance. Quantile sensitivities provide information on how changes in the i...
Guangwu Liu, L. Jeff Hong
SCAI
2008
15 years 8 months ago
Fast Learning in an Actor-Critic Architecture with Reward and Punishment
Abstract. A reinforcement architecture is introduced that consists of three complementary learning systems with different generalization abilities. The ACTOR learns state-action as...
Christian Balkenius, Stefan Winberg