383 search results - page 1 / 77 » The Study of 3D-from-2D Using Elimination |
ICCV
1995
IEEE
13 years 8 months ago
1995
IEEE
PADL
2004
Springer
13 years 10 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
HPCA
2004
IEEE
14 years 5 months ago
2004
IEEE
Using alternative cache indexing/hashing functions is a popular technique to reduce conflict misses by achieving a more uniform cache access distribution across the sets in the ca...
LORI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We study games in the presence of an interaction structure, which allows players to communicate their preferences, assuming that each player initially only knows his own ...
BMCBI
2007
13 years 5 months ago
2007
Background: Classification studies using gene expression datasets are usually based on small numbers of samples and tens of thousands of genes. The selection of those genes that a...