1288 search results - page 164 / 258 » On Analysis of Design Component Contracts: A Case Study |
123
click to vote
NIPS
2003
15 years 3 months ago
2003
In this paper, sparse representation (factorization) of a data matrix is first discussed. An overcomplete basis matrix is estimated by using the K−means method. We have proved ...
110
click to vote
EICS
2009
ACM
15 years 6 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
125
click to vote
TECS
2008
15 years 1 months ago
2008
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
JCDL
2009
ACM
15 years 8 months ago
2009
ACM
The utility of an enterprise search system is determined by three key players: the information retrieval (IR) system (the search engine), the enterprise users, and the service pro...
111
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...