5692 search results - page 234 / 1139 » Challenges and Unsolved Problems |
127
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Large-scale global optimization (LSGO) is a very important and challenging task in optimization domain, which is embedded in many scientific and engineering applications. In this p...
101
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Coordinated Multi-Point transmission and relaying are two likely candidates for the upcoming LTE-Advanced standard as both are able to satisfy the ever increasing demands for ubiq...
142
click to vote
AIR
2010
15 years 6 months ago
2010
Abstract Reconstructing the challenging human face identification process as a stability problem, we show that Electoral College can be used as a framework that provides a signific...
185
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Aligning RNA sequences with low sequence identity has been a challenging problem since such a computation essentially needs an algorithm with high complexities for tak...
178
click to vote
FAC
2008
15 years 6 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...