2649 search results - page 484 / 530 » Temporal Theories of Reasoning |
SYNTHESE
2010
13 years 6 months ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
ACMACE
2009
ACM
13 years 5 months ago
2009
ACM
This paper examines an extensive user evaluation survey undertaken during an installation of PLACE-Hampi, a custombuilt augmented stereoscopic panoramic interactive cultural herit...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...
KDD
2005
ACM
14 years 8 months ago
2005
ACM
In this paper, we present a general framework to discover spatial associations and spatio-temporal episodes for scientific datasets. In contrast to previous work in this area, fea...
KDD
2003
ACM
14 years 8 months ago
2003
ACM
Existing patient records are a valuable resource for automated outcomes analysis and knowledge discovery. However, key clinical data in these records is typically recorded in unst...