5550 search results - page 793 / 1110 » Different Approaches to Proof Systems |
150
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
288
Voted
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
Web services are expected to be the key technology in enabling the next installment of the Web in the form of the Service Web. In this paradigm shift, Web services would be treated...
175
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
168
Voted
ISDA
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we discuss the the role of the retrieval component in an TREC style opinion question answering system. Since blog retrieval differs from traditional ad-hoc document...
175
Voted
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
Measuring user acceptance to avoid system rejection by the users in pre-prototype stage of product development is of high interest for both researchers and practitioners. This is ...