8337 search results - page 216 / 1668 » Reasoning With Characteristic Models |
139
click to vote
TARK
2007
Springer
15 years 11 months ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...
229
click to vote
GIS
2009
ACM
16 years 6 months ago
2009
ACM
Modern geographic databases can contain a large volume of data that need to be distributed to subscribed customers. The data can be modeled as a cube, where typical dimensions inc...
131
click to vote
EDBT
2002
ACM
16 years 5 months ago
2002
ACM
Web logs collected by proxy servers, referred to as proxy logs or proxy traces, contain information about Web document accesses by many users against many Web sites. This "man...
132
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...
154
click to vote
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Recently, the microprocessor industry has moved toward chip multiprocessor (CMP) designs as a means of utilizing the increasing transistor counts in the face of physical and micro...