2634 search results - page 44 / 527 » Faster Than Uppaal |
ICCAD
1992
IEEE
14 years 26 days ago
1992
IEEE
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...
TODAES
2008
13 years 8 months ago
2008
A new efficient algorithm is derived for the minimal period retiming by formal manipulation. Contrary to all previous algorithms, which used binary search on a range of candidate ...
CG
1999
Springer
13 years 8 months ago
1999
Springer
Multi-user augmented reality systems are especially dependent on precise registration. In this paper, we present a hybrid tracking system that combines optical and magnetic tracki...
MOC
2002
13 years 8 months ago
2002
This paper proposes a new Newton-like method which defines new iterates using a linear system with the same coefficient matrix in each iterate, while the correction is performed on...
RECOMB
2009
Springer
14 years 9 months ago
2009
Springer
Finding similar structures from 3-D structure databases of proteins is becoming more and more important issue in the post-genomic molecular biology. To compare 3-D structures of tw...