5326 search results - page 202 / 1066 » On what we can ensure |
185
click to vote
IAW
2003
IEEE
15 years 11 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
168
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the problem of to what extent linear transformation can alleviate nonlinear distortion. We investigate a technique of global affine transformation (GAT) corre...
162
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Busy and no time to digest the news archive .... ? Ever since the Web wide-spreading, the amount of electronically available information online, especially news archive proliferat...
178
click to vote
ECAL
1999
Springer
15 years 10 months ago
1999
Springer
How can we expect an A-life Agent to learn how to perform tasks when it is not told what those tasks are, and it is not provided any indication or feedback as to its performance? ...
178
click to vote
ACCV
1998
Springer
15 years 10 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...