Sciweavers

706 search results - page 32 / 142
» Building Knowledge Bases for the Generation of Software Docu...
Sort
View
TCC
2010
Springer
178views Cryptology» more  TCC 2010»
16 years 3 months ago
Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems
We present a variant of Regev’s cryptosystem first presented in [Reg05], but with a new choice of parameters. By a recent classical reduction by Peikert we prove the scheme sema...
Rikke Bendlin, Ivan Damgård
SEMWEB
2005
Springer
15 years 11 months ago
Rapid Benchmarking for Semantic Web Knowledge Base Systems
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
Sui-Yu Wang, Yuanbo Guo, Abir Qasem, Jeff Heflin
EKAW
2000
Springer
15 years 9 months ago
KIDS: An Iterative Algorithm to Organize Relational Knowledge
The goal of conceptual clustering is to build a set of embedded classes, which cluster objects based on their similarities. Knowledge organization aims at generating the set of mos...
Isabelle Bournaud, Mélanie Courtine, Jean-D...
SSIAI
2000
IEEE
15 years 10 months ago
Towards Knowledge-Based Extraction of Roads from 1m-Resolution Satellite Images
As IKONOS satellite with 1m-resolution camera has been launched in 1999, mapping using space-borne images will be a hot issue in computer vision area as well as photogrammetry, ma...
Hae-Yeoun Lee, Heung-Kyu Lee, Tak-gon Kim, Wonkyu ...
AISC
2010
Springer
15 years 11 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...