262 search results - page 30 / 53 » Making Specifications Complete Through Models |
114
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
136
click to vote
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
This paper addresses the issue of query refinement, which involves reformulating ill-formed search queries in order to enhance relevance of search results. Query refinement typica...
112
Voted
CVPR
2006
IEEE
16 years 3 months ago
2006
IEEE
When labelled training data is plentiful, discriminative techniques are widely used since they give excellent generalization performance. However, for large-scale applications suc...
148
Voted
TOG
2002
15 years 1 months ago
2002
We introduce new techniques for modelling with interpolating implicit surfaces. This form of implicit surface was first used for problems of surface reconstruction [24] and shape ...
128
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...