43264 search results - page 8126 / 8653 » Comparing models of computation |
142
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
124
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper describes a method of mirror localization to calibrate a catadioptric imaging system. Even though the calibration of a catadioptric system includes the estim...
107
click to vote
IEEECIT
2007
IEEE
15 years 10 months ago
2007
IEEE
In light of the history of LDPC codes and relevant research advances in recent years, this paper probes into the encoding and decoding techniques related to this capacity-approach...
143
click to vote
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
115
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
—The Support Vector Machine is a widely employed machine learning model due to its repeatedly demonstrated superior generalization performance. The Sequential Minimal Optimizatio...