4266 search results - page 330 / 854 » The container loading problem |
141
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...
132
click to vote
OTM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Folksonomies are becoming increasingly popular. They contain large amounts of data which can be mined and utilized for many tasks like visualization, browsing, informatio...
154
click to vote
PAMI
2010
15 years 3 months ago
2010
While feature point recognition is a key component of modern approaches to object detection, existing approaches require computationally expensive patch preprocessing to handle pe...
152
Voted
PVLDB
2010
15 years 3 months ago
2010
Concepts are sequences of words that represent real or imaginary entities or ideas that users are interested in. As a first step towards building a web of concepts that will form...
154
click to vote
ICMLA
2010
15 years 2 months ago
2010
Finding the location of binding sites in DNA is a difficult problem. Although the location of some binding sites have been experimentally identified, other parts of the genome may ...