3018 search results - page 248 / 604 » Leveraging the |
99
Voted
WEBI
2009
Springer
15 years 7 months ago
2009
Springer
Information sharing is a key objective in the age of Internet and virtual communities. Reputation information is an important part of a user’s identity and is both a sensitive a...
83
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Leveraging information from relevance assessments has been proposed as an effective means for improving retrieval. We introduce a novel language modeling method which uses inform...
104
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
71
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
91
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...