10891 search results - page 169 / 2179 » Combining Model Reductions |
108
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
120
Voted
HPCN
1994
Springer
15 years 7 months ago
1994
Springer
On large distributed memory parallel computers the global communication cost of inner products seriously limits the performance of Krylov subspace methods 3]. We consider improved ...
130
click to vote
RSS
2007
15 years 4 months ago
2007
Abstract— We consider the task of omnidirectional path following for a quadruped robot: moving a four-legged robot along any arbitrary path while turning in any arbitrary manner....
143
click to vote
DAC
2003
ACM
15 years 8 months ago
2003
ACM
Reduction of an extracted netlist is an important pre-processing step for techniques such as model order reduction in the design and analysis of VLSI circuits. This paper describe...
153
click to vote
JIIS
2002
15 years 3 months ago
2002
In this paper we propose a model for relevance feedback. Our model combines evidence from user's relevance assessments with algorithms describing how words are used within do...