Sciweavers

1585 search results - page 107 / 317
» A framework for computer-aided validation
Sort
View
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 8 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
147
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Beyond bag of words: Combining generative and discriminative models for natural scene categorization
This paper proposes a simple yet new and effective framework by combining generative model and discriminative model for natural scene categorization. A state-of-the-art approach f...
Zhen Li, Kim-Hui Yap, Xiao-Ming Chen
CISS
2010
IEEE
14 years 7 months ago
Compressive sampling for streaming signals with sparse frequency content
Abstract—Compressive sampling (CS) has emerged as significant signal processing framework to acquire and reconstruct sparse signals at rates significantly below the Nyquist rate...
Petros Boufounos, M. Salman Asif
168
Voted
IPPS
2003
IEEE
15 years 8 months ago
Constrained Component Deployment in Wide-Area Networks Using AI Planning Techniques
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
Tatiana Kichkaylo, Anca-Andreea Ivan, Vijay Karamc...
136
Voted
AES
2008
Springer
97views Cryptology» more  AES 2008»
15 years 2 months ago
Software mechanisms for extensible and scalable 3D visualization of construction operations
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
Vineet R. Kamat, Julio C. Martínez