4266 search results - page 206 / 854 » The container loading problem |
103
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
125
Voted
MM
1999
ACM
15 years 8 months ago
1999
ACM
Despite recent advances in authoring systems and tools, creating multimedia presentations remains a labor-intensive process. This paper describes a system for automatically constr...
131
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper benchmarks the simple Local Binary Pattern (LBP) approach in the supervised texture segmentation problems of the recent comparative study of Randen and Hus
110
click to vote
PAKDD
2000
ACM
15 years 7 months ago
2000
ACM
In order to discover relevant weights of neural networks, this paper proposes a novel method to learn a distinct squared penalty factor for each weight as a minimization problem ov...
142
Voted
ANTS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper revisits a model for elliptic curves over Q introduced by Huff in 1948 to study a diophantine problem. Huff's model readily extends over fields of odd cha...