5718 search results - page 114 / 1144 » Modeling Rule Precision |
225
click to vote
ICOST
2011
Springer
14 years 9 months ago
2011
Springer
The increasing aging population has inspired many machine learning researchers to find innovative solutions for assisted living. A problem often encountered in assisted living set...
133
click to vote
COCO
2006
Springer
15 years 10 months ago
2006
Springer
We may believe SAT does not have small Boolean circuits. But is it possible that some language with small circuits looks indistiguishable from SAT to every polynomialtime bounded ...
164
click to vote
LOBJET
2006
15 years 6 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...
157
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
170
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...