6693 search results - page 1058 / 1339 » Methods of Automatic Algorithm Generation |
110
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
123
Voted
KDD
2005
ACM
16 years 3 months ago
2005
ACM
This paper presents a novel approach for using clickthrough data to learn ranked retrieval functions for web search results. We observe that users searching the web often perform ...
126
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— We explore motion planning for a new class of highly flexible bevel-tip medical needles that can be steered to previously unreachable targets in soft tissue. Planning for thes...
132
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
As network traffic continues to increase and with the requirement to process packets at line rates, high performance routers need to forward millions of packets every second. Eve...
110
Voted
ISAAC
2003
Springer
15 years 8 months ago
2003
Springer
The mixing properties of several Markov chains to sample from configurations of a hard-core model have been examined. The model is familiar in the statistical physics of the liqui...