1813 search results - page 316 / 363 » Instance Pruning Techniques |
308
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
Database technology is playing an increasingly important role in understanding and solving large-scale and complex scientific and societal problems and phenomena, for instance, un...
175
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
The growing amount of web-based attacks poses a severe threat to the security of web applications. Signature-based detection techniques increasingly fail to cope with the variety ...
182
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
192
click to vote
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
139
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper addresses the problem of featurebased robot localization in large-size environments. With recent progress in SLAM techniques, it has become crucial for a rob...