Sciweavers

5622 search results - page 203 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
TCC
2010
Springer
163views Cryptology» more  TCC 2010»
16 years 1 months ago
Concise Mercurial Vector Commitments and Independent Zero-Knowledge Sets with Short Proofs
Introduced by Micali, Rabin and Kilian (MRK), the basic primitive of zero-knowledge sets (ZKS) allows a prover to commit to a secret set S so as to be able to prove statements such...
Benoît Libert, Moti Yung
CONTEXT
2007
Springer
16 years 21 days ago
Coping with Unconsidered Context of Formalized Knowledge
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
Stefan Mandl, Bernd Ludwig
ICRA
2009
IEEE
226views Robotics» more  ICRA 2009»
15 years 4 months ago
3D model selection from an internet database for robotic vision
Abstract-- We propose a new method for automatically accessing an internet database of 3D models that are searchable only by their user-annotated labels, for using them for vision ...
Ulrich Klank, Muhammad Zeeshan Zia, Michael Beetz
ECAI
1994
Springer
15 years 10 months ago
Exploiting Causal Domain Knowledge for Learning to Control Dynamic Systems
This paper introduces a simple yete ective method for using causal domain knowledge for learning to control dynamic systems. Elementary qualitative causal dependencies of the domai...
Achim G. Hoffmann
ELPUB
2006
ACM
16 years 15 days ago
An Architecture of Authoring Environments for the Semantic Web
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
Edgard Costa Oliveira, Mamede Lima-Marques