15754 search results - page 171 / 3151 » Programs are Knowledge Bases |
136
click to vote
ASIACRYPT
2010
Springer
15 years 2 months ago
2010
Springer
We construct non-interactive zero-knowledge arguments for circuit satisfiability with perfect completeness, perfect zero-knowledge and computational soundness. The non-interactive ...
115
click to vote
ICDAR
2007
IEEE
15 years 10 months ago
2007
IEEE
An integrated map of all utility services in a locale would facilitate better management of the road infrastructure and the utilities themselves. To meet this goal, there exists a...
119
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents the cognitive model of gastroesophageal reflux disease (GERD) developed for the Maryland Virtual Patient simulation and mentoring environment. GERD represents a...
148
click to vote
CMMR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we present an approach for musical artist recommendation based on Self-Organizing Maps (SOMs) of artist reviews from Amazon web site. The Amazon reviews fo...
161
click to vote
ICVS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...