3591 search results - page 198 / 719 » Typing linear constraints |
139
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract--In this paper, we propose a linear complexity encoding method for arbitrary LDPC codes. We start from a simple graph-based encoding method "label-and-decide." W...
215
click to vote
CVPR
2009
IEEE
17 years 22 days ago
2009
IEEE
Recently SVMs using spatial pyramid matching (SPM)
kernel have been highly successful in image classification.
Despite its popularity, these nonlinear SVMs have a complexity
O(n...
141
click to vote
ICGI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Left deteministic linear languages are a subclass of the context free languages that includes all the regular languages. Recently was proposed an algorithm to identify in...
240
click to vote
WRLA
2010
15 years 4 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
139
click to vote
ICRA
2008
IEEE
16 years 2 days ago
2008
IEEE
— Wire-driven parallel robots are special types of Gough-Stewart platform in which the rigid extensible legs are substituted by extensible wires. Usually wire length change is ob...