2962 search results - page 152 / 593 » Reasoning on Association Rules |
200
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
149
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
Mobile agents have often been advocated as the solution to the problem of designing and implementing distributed applications in a dynamic environment. Mobile agents provide a ver...
150
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
173
click to vote
KI
2005
Springer
15 years 12 months ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
186
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
Given a donor database by a charitable organization in Hong Kong, we propose to use a new data mining technique to discover fuzzy rules for direct marketing. The discovered fuzzy ...