2597 search results - page 271 / 520 » On numbers of Davenport-Schinzel sequences |
118
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
132
click to vote
FOCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We show that any deterministic data-stream algorithm that makes a constant number of passes over the input and gives a constant factor approximation of the length of the longest i...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— A complete complementary codes based direct sequence code division multiple access (CC/DS-CDMA) system was recently proposed to offer isotropic interference free transm...
174
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
The paper describes a lexicon driven approach for word recognition on handwritten documents using Conditional Random Fields(CRFs). CRFs are discriminative models and do not make a...
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we propose a multi-level shadow identification scheme which is generally applicable without restrictions on the number of light sources, illumination conditions...