8828 search results - page 1470 / 1766 » Formal methods in practice |
173
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Among all blind channel estimation problems, subspace-based algorithms are attractive due to its fastconverging nature. It primarily exploits the orthogonality structure of the ...
162
click to vote
APSCC
2007
IEEE
16 years 1 months ago
2007
IEEE
A suitable assignment of agents to handle the workload at a call center is not easy to fulfill because it requires a combinatorial optimization with large solution space and the n...
185
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
Most implementations of the modular exponentiation, ME mod N, computation in cryptographic algorithms employ Montgomery multiplication, ABR−1 mod N, instead of modular multiplic...
156
click to vote
CBMS
2007
IEEE
16 years 1 months ago
2007
IEEE
The development of Medical Image Analysis (MIA) applications that can successfully be applied in clinical practice is difficult for several reasons, one of them being the large am...
161
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In any forensic investigation, planning and analysis activities are required in order to determine what digital media will be seized, what types of information will be sought in t...