Sciweavers

5234 search results - page 39 / 1047
» Method Components - Rationale Revealed
Sort
View
ICASSP
2011
IEEE
14 years 1 months ago
Automatic target classification in SAR images using MPCA
Multilinear analysis provides a powerful mathematical framework for analyzing synthetic aperture radar (SAR) images resulting from the interaction of multiple factors like sky lum...
Tristan Porges, Gérard Favier
FAST
2011
14 years 1 months ago
Making the Common Case the Only Case with Anticipatory Memory Allocation
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
Swaminathan Sundararaman, Yupu Zhang, Sriram Subra...
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
15 years 3 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...
Yann Zimmermann, Diana Toma
ACL
2004
14 years 11 months ago
A Kernel PCA Method for Superior Word Sense Disambiguation
We introduce a new method for disambiguating word senses that exploits a nonlinear Kernel Principal Component Analysis (KPCA) technique to achieve accuracy superior to the best pu...
Dekai Wu, Weifeng Su, Marine Carpuat
FMCO
2007
Springer
196views Formal Methods» more  FMCO 2007»
15 years 1 months ago
Coordinating Object Oriented Components Using Data-Flow Networks
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
Mohammad Mahdi Jaghoori