2962 search results - page 415 / 593 » Reasoning on Association Rules |
184
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
167
click to vote
DEXA
2006
Springer
15 years 10 months ago
2006
Springer
One of the problems associated with XML databases is the poor performance of XPath queries. Although this has attracted much attention by the research community, solutions are eith...
150
click to vote
HUC
2000
Springer
15 years 10 months ago
2000
Springer
Current tools do not provide adequate support to users for handling reminders. The main reason for this is the lack of use of rich context that specifies when a reminder should be ...
157
click to vote
ICSE
1995
IEEE-ACM
15 years 10 months ago
1995
IEEE-ACM
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
153
click to vote
KI
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. We investigate the task of skeptically reasoning in extensionbased, nonmonotonic logics by concentrating on general argumentation theories. The restricted applicability o...