16513 search results - page 2878 / 3303 » Numerical Analysis Methods |
174
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
156
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
176
click to vote
CEEMAS
2007
Springer
16 years 14 days ago
2007
Springer
We present a multi-agent system designed to detect malicious traffic in high-speed networks. In order to match the performance requirements related to the traffic volume, the net...
170
Voted
CIKM
2007
Springer
16 years 14 days ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...
148
click to vote
CIKM
2007
Springer
16 years 14 days ago
2007
Springer
Much existing research on blogs focused on posts only, ignoring their comments. Our user study conducted on summarizing blog posts, however, showed that reading comments does chan...