20807 search results - page 361 / 4162 » How to read a paper |
208
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
167
click to vote
HT
2007
ACM
15 years 11 months ago
2007
ACM
We present a study of the degree to which annotations overlap when several researchers read the same set of scientific articles. Our objective is to determine whether there is suf...
236
click to vote
ICCTA
2007
IEEE
15 years 11 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
250
Voted
APWEB
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In recent years, personalized news recommendation has received increasing attention in IR community. The core problem of personalized recommendation is to model and track...
234
click to vote
CARDIS
2006
Springer
15 years 11 months ago
2006
Springer
Massively deploying RFID systems while preserving people's privacy and data integrity is a major security challenge of the coming years. Up to now, it was commonly believed th...