3317 search results - page 218 / 664 » Strategies in Rigid-Variable Methods |
158
click to vote
SIGIR
2005
ACM
16 years 4 days ago
2005
ACM
The current boom of the Web is associated with the revenues originated from on-line advertising. While search-based advertising is dominant, the association of ads with a Web page...
167
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
287
click to vote
ICDE
2004
IEEE
16 years 8 months ago
2004
IEEE
In the emerging area of sensor-based systems, a significant challenge is to develop scalable, fault-tolerant methods to extract useful information from the data the sensors collec...
211
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents a new method for constructing compact statistical point-based models of ensembles of similar shapes that does not rely on any specific surface parameterization....
196
click to vote
ECIR
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Learning ranking functions is crucial for solving many problems, ranging from document retrieval to building recommendation systems based on an individual user’s prefer...