660 search results - page 24 / 132 » Improving AOR method for consistent linear systems |
67
Voted
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Given a multi-exposure sequence of a scene, our aim is to recover the absolute irradiance falling onto a linear camera sensor. The established approach is to perform a weighted av...
104
click to vote
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
JCC
2007
14 years 9 months ago
2007
: An improvement to the grid-based algorithm of Henkelman et al. for the calculation of Bader volumes is suggested, which more accurately calculates atomic properties as predicted ...
ICCS
2009
Springer
14 years 7 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
SOFSEM
2010
Springer
15 years 6 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...