3591 search results - page 432 / 719 » Typing linear constraints |
143
click to vote
ALT
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. The nearest neighbor and the perceptron algorithms are intuitively motivated by the aims to exploit the “cluster” and “linear separation” structure of the data to...
169
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
160
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper models (large) deformations of shelllike objects under the grasping of a robot hand. Classical nonlinear theory of thin shells [21, pp. 186-194] is generaliz...
167
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Keeping diagnostic resolution as high as possible while maximizing the compaction ratio is subject to research since the advent of embedded test. In this paper, we present a novel...
163
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a text detection and localization method. Our detection technique is based on a cascade of boosted ensemble and localizer uses standard image processing ...