4100 search results - page 153 / 820 » General Linear Cameras |
115
click to vote
ISPD
1997
ACM
15 years 8 months ago
1997
ACM
A linear wirelength objective more e ectively captures timing, congestion, and other global placement considerations than a squared wirelength objective. The GORDIAN-L cell placem...
133
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
138
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— This article addresses the fast solution of a Quadratic Program underlying a Linear Model Predictive Control scheme that generates walking motions. We introduce an algorithm wh...
114
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
129
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...