9359 search results - page 499 / 1872 » Generalization Algorithms for Second-Order Terms |
152
Voted
SAC
2005
ACM
16 years 12 days ago
2005
ACM
This paper addresses single and multiple container loading problems. We propose to use dynamic prioritization to handle awkward box types. The box type with a higher priority will...
207
click to vote
SIGIR
2005
ACM
16 years 12 days ago
2005
ACM
We formulate and study search algorithms that consider a user’s prior interactions with a wide variety of content to personalize that user’s current Web search. Rather than re...
165
Voted
SPAA
2005
ACM
16 years 12 days ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
175
click to vote
UIST
2005
ACM
16 years 12 days ago
2005
ACM
We introduce PlayAnywhere, a front-projected computer vision-based interactive table system which uses a new commercially available projection technology to obtain a compact, self...
175
click to vote
CHARME
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...