2962 search results - page 238 / 593 » Reasoning on Association Rules |
191
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
144
click to vote
SGAI
2007
Springer
16 years 23 days ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
139
click to vote
SKG
2006
IEEE
16 years 20 days ago
2006
IEEE
Abox inference is an important part in OWL data management. When involving large scale of instance data, it can not be supported by existing inference engines. In this paper, we p...
185
click to vote
ACL
1998
15 years 8 months ago
1998
In this article, we apply to natural language parsing and tagging the device of triggerpair predictors, previously employed exclusively within the field of language modelling for ...
189
click to vote
RAID
1999
Springer
15 years 11 months ago
1999
Springer
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...