10289 search results - page 237 / 2058 » Standard bases in K |
154
click to vote
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
202
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—The paper presents a method for isolated offline character recognition using radon features. The key characteristic of the method is to use DTW algorithm to match corres...
158
click to vote
INFOCOM
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— The pre-shared key based mechanisms for Transport Layer Security (TLS) were recently standardized by the IETF to extend the set of ciphersuites by utilizing existing ke...
193
click to vote
WALCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Due to the recent growth in the demand of mobile communication services in several typical environments, the development of efficient systems for providing specialized services ha...
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: A local search algorithm operating on an instance of a Boolean constraint satisfaction problem (in particular, k-SAT) can be viewed as a stochastic process traversing successive ...