7167 search results - page 180 / 1434 » A Technique for Invariant Generation |
142
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a recommendation technique that works by collecting text descriptions of items and using this textual aura to compute the similarity between items using techniques draw...
185
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
184
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
208
click to vote
RIDE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a method of automatically creating hypermedia documents from conventional transcriptions of television programs. Using parallel text alignment techniques, the ...
230
click to vote
MICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
Modern architectural trends in instruction-level parallelism (ILP) are to increase the computational power of microprocessors significantly. As a result, the demands on memory ha...