Sciweavers

2576 search results - page 72 / 516
» The Complexity of Zero Knowledge
Sort
View
DEXAW
2009
IEEE
171views Database» more  DEXAW 2009»
15 years 6 months ago
Ontology Knowledge Authoring by Natural Language Empowerment
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
Alfio Ferrara, Stefano Montanelli, Gaia Varese, Si...
ICCS
2007
Springer
15 years 6 months ago
Dynamic Epistemic Logic and Knowledge Puzzles
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
ICANN
2005
Springer
15 years 5 months ago
Information Visualization for Knowledge Extraction in Neural Networks
In this paper, a user-centred innovative method of knowledge extraction in neural networks is described. This is based on information visualization techniques and tools for artific...
Liz J. Stuart, Davide Marocco, Angelo Cangelosi
FLAIRS
2008
15 years 2 months ago
Modelling Uniformity and Control during Knowledge Acquisition
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
Bernhard Heinemann
ISSAC
1997
Springer
142views Mathematics» more  ISSAC 1997»
15 years 4 months ago
The Structure of Sparse Resultant Matrices
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
Ioannis Z. Emiris, Victor Y. Pan