3994 search results - page 699 / 799 » A Linear Logical Framework |
159
click to vote
COLT
1999
Springer
15 years 8 months ago
1999
Springer
—Support vector (SV) machines are linear classifiers that use the maximum margin hyperplane in a feature space defined by a kernel function. Until recently, the only bounds on th...
137
click to vote
DCC
1998
IEEE
15 years 8 months ago
1998
IEEE
Multi-hypothesis motion-compensated prediction extends traditional motion-compensated prediction used in video coding schemes. Known algorithms for block-based multi-hypothesis mo...
149
click to vote
IEEEPACT
1998
IEEE
15 years 8 months ago
1998
IEEE
Global locality analysis is a technique for improving the cache performance of a sequence of loop nests through a combination of loop and data layout optimizations. Pure loop tran...
147
click to vote
ASPDAC
1998
ACM
15 years 8 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
126
click to vote
VISUALIZATION
1996
IEEE
15 years 8 months ago
1996
IEEE
In the last ve years, there has been numerous applications of wavelets and multiresolution analysis in many elds of computer graphics as di erent as geometric modelling, volume vi...