1953 search results - page 239 / 391 » codes 2010 |
149
click to vote
WCNC
2010
IEEE
15 years 9 months ago
2010
IEEE
— In this paper, we consider the transmission of a Gaussian source in a multi-relay cooperative network, where limited channel state feedback is combined with separate source and...
139
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
146
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
135
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...
142
Voted
ICMCS
2010
IEEE
15 years 6 months ago
2010
IEEE
According to a popular pattern recognition method, this paper proposes two methods to generate a secret from individual's biometric information, such as fingerprint feature p...