6167 search results - page 243 / 1234 » Can Refinement be Automated |
189
click to vote
CIKM
2009
Springer
16 years 17 days ago
2009
Springer
Users frequently modify a previous search query in hope of retrieving better results. These modifications are called query reformulations or query refinements. Existing research h...
172
click to vote
CGF
2002
15 years 5 months ago
2002
In recent years subdivision methods have been one of the most successful techniques applied to the multi-resolution representation and visualization of surface meshes. Extension t...
259
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We describe a framework for better understanding scheduling policies for fine-grained parallel computations and their effect on space usage. We define a profiling semantics that c...
167
click to vote
AAMAS
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
125
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
The control in multi-strategy proof planning goes beyond the control in other automated theorem proving approaches: not only the selection of the inference and the facts for the n...