5325 search results - page 647 / 1065 » Effective Computation for Nonlinear Systems |
207
Voted
DASC
2006
IEEE
15 years 11 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
215
click to vote
EVOW
2006
Springer
15 years 11 months ago
2006
Springer
A new method for the analysis of 3D medical images is introduced. The algorithm is based on Biological Models of ants known as Artificial Life models. Test images (lung Computed To...
259
Voted
SC
1991
ACM
15 years 11 months ago
1991
ACM
This paper presents an examination of two distinct but complementary extensions of previous work on hot spot contention in multistage interconnection networks. The first extensio...
216
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
189
click to vote
AAAI
2007
15 years 10 months ago
2007
Developing scalable coordination algorithms for multi-agent systems is a hard computational challenge. One useful approach, demonstrated by the Coverage Set Algorithm (CSA), explo...