Sciweavers

2576 search results - page 293 / 516
» The Complexity of Zero Knowledge
Sort
View
AI
2005
Springer
15 years 6 months ago
First order LUB approximations: characterization and algorithms
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
Alvaro del Val
TGIS
2008
69views more  TGIS 2008»
15 years 6 months ago
Spatial-Scene Similarity Queries
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
Konstantinos A. Nedas, Max J. Egenhofer
ISF
2007
119views more  ISF 2007»
15 years 6 months ago
Managing the false alarms: A framework for assurance and verification of surveillance monitoring
This article discusses methods to support assurance of surveillance monitoring; and compliance verification knowledge management (CV-KM). The discussion includes aspects of primar...
Peter Goldschmidt
TMI
2008
91views more  TMI 2008»
15 years 6 months ago
System Calibration and Statistical Image Reconstruction for Ultra-High Resolution Stationary Pinhole SPECT
For multi-pinhole SPECT, iterative reconstruction algorithms are preferred over analytical methods, because of the often complex multi-pinhole geometries and the ability of iterat...
Frans van der Have, Brendan Vastenhouw, Marc Rentm...
JCP
2007
121views more  JCP 2007»
15 years 6 months ago
Learning by Discrimination: A Constructive Incremental Approach
Abstract— This paper presents i-AA1 , a constructive, incremental learning algorithm for a special class of weightless, self-organizing networks. In i-AA1 , learning consists of ...
Christophe G. Giraud-Carrier, Tony R. Martinez