3690 search results - page 414 / 738 » Computation with classical sequents |
150
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we investigate the applicability of classic dynamic loop scheduling methods on a numerical simulation code that calculates the trajectories of charged particles in t...
173
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
We address the problem of model based recognition. Our aim is to localize and recognize road vehicles from monocular images in calibrated scenes. A deformable 3D geometric vehicle...
173
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Within the field of pattern classification, the Fisher kernel is a powerful framework which combines the strengths of generative and discriminative approaches. The idea is to ch...
177
click to vote
GRC
2007
IEEE
16 years 1 months ago
2007
IEEE
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on the universe. In the view of granular computing, classica...
180
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
One of the main contributions of classical mechanism design is the derivation of the Groves mechanisms. The class of Groves mechanisms are the only mechanisms that are strategy-pr...