2957 search results - page 343 / 592 » Code analysis and CS-XML |
131
click to vote
CISS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Capacity analysis is used to determine the fundamental tradeoff between power and spectral efficiency for coded continuous-phase frequency shift keying (CPFSK). The mod...
128
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a new approach of facial expression recognition. In order to capture the temporal characteristic of facial expressions, we design dynamic haar-like featu...
123
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
154
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Hash algorithms are a class of cryptographic primitives used for fulfilling the requirements of integrity and authentication in cryptography. In this paper, we propose and present...
129
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...