2373 search results - page 113 / 475 » On the Theory of Structural Subtyping |
120
click to vote
ICIP
2002
IEEE
16 years 8 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...
201
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
Most of the watermarking schemes that have been proposed until now employ a correlator in the detection stage. The current paper proposes a new detector scheme that can be applied...
165
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In a social network, nodes correspond to people or other social entities, and edges correspond to social links between them. In an effort to preserve privacy, the practice of anon...
159
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— One of the most important problems in Mobile Robotics is to realise the complete robot’s autonomy. In order to achieve this goal several tasks have to be accomplished. Among ...
156
click to vote
TPHOL
2005
IEEE
16 years 3 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...