3317 search results - page 212 / 664 » Strategies in Rigid-Variable Methods |
147
click to vote
CGI
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we describe a strategy for efficient predictive compression of texture coordinates. Previous works in mesh compression often claim that this mesh property can simpl...
167
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
165
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Kahn process networks (KPNs) are a programming paradigm suitable for streaming-based multimedia and signal-processing applications. We discuss the execution of KPNs, and the criter...
132
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper the control problem of a hydraulic servosystem is addressed. The performance achievable by classical linear controllers, e.g. PD, are usually limited due to highly n...
156
click to vote
TOMS
2008
15 years 6 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...