373 search results - page 54 / 75 » Evaluating Consistency Algorithms for Temporal Metric Constr... |
112
click to vote
APVIS
2011
2011
Loose capacity-constrained representatives for the qualitative visual analysis in molecular dynamics
13 years 9 months ago
Molecular dynamics is a widely used simulation technique to investigate material properties and structural changes under external forces. The availability of more powerful cluster...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
116
click to vote
RSP
1998
IEEE
15 years 2 months ago
1998
IEEE
One of the major differences in partitioning for codesign is in the way the communication cost is evaluated. Generally the size of the edge cut-set is used. When communication bet...
104
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Widely distributed multiple radar architectures offer parameter estimation improvement for target localization. For a large number of radars, the achievable localization...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...