Sciweavers

2957 search results - page 336 / 592
» Code analysis and CS-XML
Sort
View
ICCV
2005
IEEE
16 years 6 months ago
Creating Efficient Codebooks for Visual Recognition
Visual codebook based quantization of robust appearance descriptors extracted from local image patches is an effective means of capturing image statistics for texture analysis and...
Bill Triggs, Frédéric Jurie
FMICS
2009
Springer
15 years 11 months ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 11 months ago
Incremental Reasoning for Multiple Inheritance
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Mart...
CODES
2007
IEEE
15 years 10 months ago
On the impact of manufacturing process variations on the lifetime of sensor networks
As an emerging technology, sensor networks provide the ability to accurately monitor the characteristics of wide geographical areas over long periods of time. The lifetime of indi...
Siddharth Garg, Diana Marculescu
ICC
2007
IEEE
103views Communications» more  ICC 2007»
15 years 10 months ago
On the Sum-Rate of Opportunistic Beamforming Schemes with Multiple Antennas at the Receiver
Abstract— The capacity region of Gaussian Multi-InputMultiple-Output (MIMO) broadcast channels has been shown to be achieved by dirty paper coding (DPC). However, due to the high...
Renato G. Bosisio, Umberto Spagnolini