2576 search results - page 166 / 516 » The Complexity of Zero Knowledge |
132
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we propose a new self-calibration technique for cameras with changing zoom observing only a planar structure. The method does not need any metric or topologic knowl...
161
click to vote
SSDBM
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we present a query system that has been implemented in a practical biological database - GPCRDB. Distinguishing features of this system include: smart query relaxat...
162
Voted
LPKR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...
144
Voted
MIE
2008
2008
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
15 years 6 months ago
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
188
click to vote
TCOS
2008
15 years 5 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...