Sciweavers

7009 search results - page 64 / 1402
» Patterns in Complex Systems Modeling
Sort
View
SPIN
2012
Springer
11 years 11 months ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei
CEC
2005
IEEE
14 years 2 months ago
Music evolution in a complex system of interacting agents
The evolution of music, from random note strings to certain “pleasant” note sequences, is traced in a multi-agent computational model. A community of agents, with some musical ...
Tao Gong, Qian Zhang, Hua Wu
IEEEVAST
2010
13 years 3 months ago
Interactive querying of temporal data using a comic strip metaphor
Finding patterns in temporal data is an important data analysis task in many domains. Static visualizations can help users easily see certain instances of patterns, but are not sp...
Jing Jin, Pedro A. Szekely
HICSS
2007
IEEE
132views Biometrics» more  HICSS 2007»
14 years 3 months ago
Complex Interacting Infrastructure Systems
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...
Ian Dobson
HICSS
2005
IEEE
145views Biometrics» more  HICSS 2005»
14 years 2 months ago
Risk Assessment in Complex Interacting Infrastructure Systems
Critical infrastructures have some of the characteristic properties of complex systems. They exhibit infrequent large failures events. These events, though infrequent, often obey ...
David E. Newman, Bertrand Nkei, Benjamin A. Carrer...