18209 search results - page 7 / 3642 » Some Remarks on the Paper |
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
The state of the art for solving the phase retrieval problem in two dimensions relies heavily on the algorithms proposed by Gerchberg, Saxton, and Fienup. Despite the widespread u...
CHI
2004
ACM
14 years 7 months ago
2004
ACM
In this paper we describe the results of a study investigating the behaviour and views of bystanders in response to a proximal mobile telephone conversation by a third party. Anal...
AISC
2010
Springer
13 years 5 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
AQUILEIA
2011
12 years 7 months ago
2011
The comparison between historical maps and modern orthophotos can allow to better understand the evolution of the landscape and the territory of Aquileia, and to formulate some hyp...
HASE
2008
IEEE
14 years 1 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...