3690 search results - page 567 / 738 » Computation with classical sequents |
141
click to vote
AIPR
2003
IEEE
15 years 10 months ago
2003
IEEE
Although hyperspectral images provide abundant information about objects, their high dimensionality also substantially increases computational burden. Dimensionality reduction off...
125
click to vote
ISSRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
150
click to vote
RTCSA
2003
IEEE
15 years 10 months ago
2003
IEEE
Previous real-time disk scheduling algorithms assume that each disk request incurs a disk mechanical operation and only consider how to move the disk head under real-time constrain...
165
click to vote
ECML
2003
Springer
15 years 10 months ago
2003
Springer
We consider supervised learning of a ranking function, which is a mapping from instances to total orders over a set of labels (options). The training information consists of exampl...
150
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
Partial redundancy elimination (PRE) techniques play an important role in optimizing compilers. Many optimizations, such as elimination of redundant expressions, communication opti...