Sciweavers

112 search results - page 11 / 23
» Power and the limits of reactive agents
Sort
View
AAAI
1993
13 years 8 months ago
Supporting and Optimizing Full Unification in a Forward Chaining Rule System
The Rete and Treat algorithms are considered the most efficient implementation techniques for Forward Chaining rule systems. These algorithms support a language of limited express...
Howard E. Shrobe
HICSS
1998
IEEE
112views Biometrics» more  HICSS 1998»
13 years 11 months ago
The Dynamics of Market Power with Deregulated Electricity Generation Supplies
Deregulated wholesale markets for bulk electricity supplies are likely to deviate from the perfectly competitive ideal in many areas where transmission losses, costs and capacity ...
Richard E. Schuler
JSS
2006
99views more  JSS 2006»
13 years 6 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
JCIT
2010
111views more  JCIT 2010»
13 years 1 months ago
Shunt APF Based on Current Loop Repetitive Control
Three-phase shunt active power filter (APF) is often used to compensate the harmonic and reactive current derived from non-linear load. But many non-ideal factors, such as the lim...
Xueliang Wei
ICC
2008
IEEE
117views Communications» more  ICC 2008»
14 years 1 months ago
Semi-Blind Power Allocation for Digital Subscriber Lines
— Digital subscriber lines (DSL) are today one of the most important means for delivering high-speed data transmission. An emerging technique for dealing with one of the technolo...
Rodrigo Moraes, Boris Dortschy, Aldebaro Klautau, ...