174 search results - page 23 / 35 » Fast equation automaton computation |
81
Voted
DAC
2009
ACM
16 years 23 days ago
2009
ACM
State-of-the-art integral-equation-based solvers rely on techniques that can perform a matrix-vector multiplication in O(N) complexity. In this work, a fast inverse of linear comp...
126
click to vote
AB
2007
Springer
15 years 6 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
We study the multi-frame structure from motion problem when the camera translates on a plane with small baselines and arbitrary rotations. This case shows up in many practical appl...
SMA
2009
ACM
15 years 6 months ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
168
click to vote
PDPTA
2010
14 years 9 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...