5012 search results - page 564 / 1003 » Distributed Error Correction |
163
click to vote
PROFES
2007
Springer
16 years 29 days ago
2007
Springer
The cost of a Software Product Line (SPL) development project sometimes exceeds the initially planned cost, because of requirements volatility and poor quality. In this paper, we p...
212
click to vote
TABLEAUX
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
203
click to vote
FGR
2006
IEEE
16 years 27 days ago
2006
IEEE
Illumination invariance remains the most researched, yet the most challenging aspect of automatic face recognition. In this paper we propose a novel, general recognition framework...
189
click to vote
GLOBECOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— High-rate space-time-frequency block codes (STFBC) are promising for achieving high bandwidth efficiency, low overhead and latency. Recently, a class of low-complexity STFBC m...
195
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Multimodal input is known to be advantageous for graphical user interfaces, but its benefits for non-visual interaction are unknown. To explore this issue, an exploratory study wa...