42507 search results - page 394 / 8502 » On the analysis of |
155
click to vote
ACL
2010
15 years 5 months ago
2010
Maintaining high annotation consistency in large corpora is crucial for statistical learning; however, such work is hard, especially for tasks containing semantic elements. This p...
207
click to vote
ICCAD
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
238
click to vote
IV
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
181
click to vote
SOCIALCOM
2010
15 years 5 months ago
2010
As the value of reputation systems is widely recognized, the incentive to manipulate such systems is rapidly growing. We propose TAUCA, a scheme that identifies malicious users and...
240
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...