3690 search results - page 567 / 738 » Computation with classical sequents |
186
Voted
AIPR
2003
IEEE
16 years 10 days ago
2003
IEEE
Although hyperspectral images provide abundant information about objects, their high dimensionality also substantially increases computational burden. Dimensionality reduction off...
169
Voted
ISSRE
2003
IEEE
16 years 9 days 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...
196
Voted
RTCSA
2003
IEEE
16 years 9 days 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...
204
click to vote
ECML
2003
Springer
16 years 7 days 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...
185
Voted
EUROPAR
2003
Springer
16 years 7 days 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...