5128 search results - page 345 / 1026 » When Abstraction Fails |
202
click to vote
ACCV
1998
Springer
15 years 11 months ago
1998
Springer
Abstract In this paper will be investigated what constraints on the intrinsic parameters that are needed in order to reconstruct an unknown scene from a number of its projective im...
210
click to vote
STOC
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. Loosely speaking, an interactive proof is said to be zeroknowledge if the view of every “efficient” verifier can be “efficiently” simulated. An outstanding open ...
173
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
164
click to vote
BIRTHDAY
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
180
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
A language for defining design discipline characteristics is proesign discipline characteristics such as abstraction levels, design object classifications and decompositions, desi...