383 search results - page 23 / 77 » The Study of 3D-from-2D Using Elimination |
NSDI
2008
14 years 7 days ago
2008
Discretization is used in click-based graphical passwords so that approximately correct entries can be accepted by the system. We show that the existing discretization scheme of B...
COMPSAC
2008
IEEE
13 years 11 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
ACTA
2007
13 years 10 months ago
2007
Abstract This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies m...
TWC
2008
13 years 9 months ago
2008
OFDM signals suffer from a large Peak to Average Power Ratio, which requires large power back-offs in the transmit and receive chains. This paper studies two digital postprocessing...