2962 search results - page 160 / 593 » Reasoning on Association Rules |
162
click to vote
AAAI
2007
15 years 8 months ago
2007
Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a...
155
click to vote
AAAI
2007
15 years 8 months ago
2007
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
180
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Power gating is a technique for low power design in which whole sections of the chip are powered off when they are not needed, and powered back on when they are. Functional correct...
154
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
165
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...