8141 search results - page 173 / 1629 » Higher Order Generalization |
154
click to vote
MMAS
2010
Springer
15 years 1 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...
235
click to vote
CVPR
2009
IEEE
17 years 1 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...
143
click to vote
HPCA
2001
IEEE
16 years 6 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...
155
click to vote
ISMVL
2007
IEEE
16 years 21 days 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...
151
click to vote
TLCA
2007
Springer
16 years 16 days 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...