8196 search results - page 144 / 1640 » Computational Modeling and Complexity Science |
SIGCSE
2006
ACM
15 years 4 months ago
2006
ACM
Undergraduate students who perform research benefit greatly from the experience, yet achieving high levels of voluntary participation remains an elusive goal. This paper describes...
191
click to vote
SPIN
2012
Springer
13 years 14 days ago
2012
Springer
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...
ICMLA
2004
14 years 11 months ago
2004
Complexity, or in other words compactness, of models generated by rule learners is one of often neglected issues, although it has a profound effect on the success of any project t...
ICCS
2007
Springer
15 years 4 months ago
2007
Springer
Complex Automata were recently proposed as a paradigm to model multi-scale complex systems. The concept is formalized and the scale separation map is further investigated in relati...
EDBT
2000
ACM
15 years 1 months ago
2000
ACM
OLAP applications use precomputation of aggregate data to improve query response time. While this problem has been well-studied in the recent database literature, to our knowledge ...