Sciweavers

7715 search results - page 55 / 1543
» Visual Rules Modeling
Sort
View
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
15 years 2 months ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
ECAI
2008
Springer
14 years 11 months ago
Online Rule Learning via Weighted Model Counting
Online multiplicative weight-update learning algorithms, such as Winnow, have proven to behave remarkably for learning simple disjunctions with few relevant attributes. The aim of ...
Frédéric Koriche
SEKE
2005
Springer
15 years 3 months ago
Modelling Agent Knowledge with Business Rules
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
Liang Xiao 0002, Des Greer
IJCNN
2008
IEEE
15 years 4 months ago
Self-organizing neural models integrating rules and reinforcement learning
— Traditional approaches to integrating knowledge into neural network are concerned mainly about supervised learning. This paper presents how a family of self-organizing neural m...
Teck-Hou Teng, Zhong-Ming Tan, Ah-Hwee Tan
ICCAD
2006
IEEE
99views Hardware» more  ICCAD 2006»
15 years 6 months ago
Variability and yield improvement: rules, models, and characterization
Yield and variability are becoming detractors for successful design in sub-90-nm process technologies. We consider the fundamental lithography and process issues that are driving ...
Kenneth L. Shepard, Daniel N. Maynard