8141 search results - page 173 / 1629 » Higher Order Generalization |
120
Voted
MMAS
2010
Springer
14 years 10 months ago
2010
Springer
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
195
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper addresses the problem of establishing correspondences
between two sets of visual features using
higher-order constraints instead of the unary or pairwise
ones used in...
101
Voted
HPCA
2001
IEEE
16 years 4 months ago
2001
IEEE
The performance of out-of-order processors increases with the instruction window size. In conventional processors, the effective instruction window cannot be larger than the issue...
115
Voted
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
124
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...