Sciweavers

1893 search results - page 87 / 379
» Eliciting and Validating Knowledge in Knowledge Management S...
Sort
View
IPMI
2005
Springer
15 years 10 months ago
Knowledge-Driven Automated Detection of Pleural Plaques and Thickening in High Resolution CT of the Lung
Consistent efforts are being made to build Computer-Aided Detection and Diagnosis systems for radiological images. Such systems depend on automated detection of various disease pat...
Mamatha Rudrapatna, Van Mai, Arcot Sowmya, Peter W...
TARK
1992
Springer
15 years 8 months ago
Topological Reasoning and The Logic of Knowledge
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
Lawrence S. Moss, Rohit Parikh
185
Voted
CRYPTO
2011
Springer
180views Cryptology» more  CRYPTO 2011»
14 years 4 months ago
Leakage-Resilient Zero Knowledge
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
Sanjam Garg, Abhishek Jain 0002, Amit Sahai
ISTA
2007
15 years 6 months ago
Knowledge and Metadata Integration for Warehousing Complex Data
: With the ever-growing availability of so-called complex data, especially on the Web, decision-support systems such as data warehouses must store and process data that are not onl...
Jean-Christian Ralaivao, Jérôme Darmo...
IUI
2005
ACM
15 years 10 months ago
TaskTracer: a desktop environment to support multi-tasking knowledge workers
This paper reports on TaskTracer — a software system being designed to help highly multitasking knowledge workers rapidly locate, discover, and reuse past processes they used to...
Anton N. Dragunov, Thomas G. Dietterich, Kevin Joh...