Sciweavers

187 search results - page 3 / 38
» Modeling and Simulation of Consumer Credit Originations Proc...
Sort
View
WWW
2007
ACM
14 years 8 months ago
Measuring credibility of users in an e-learning environment
Learning Villages (LV) is an E-learning platform for people's online discussions and frequently citing postings of one another. In this paper, we propose a novel method to ra...
Wei Wei, Jimmy Ho-Man Lee, Irwin King
WSC
2008
13 years 10 months ago
Parallel simulation of the global epidemiology of Avian Influenza
SEARUMS is an Eco-modeling, bio-simulation, and analysis environment to study the global epidemiology of Avian Influenza. Originally developed in Java, SEARUMS enables comprehensi...
Dhananjai Madhava Rao, Alexander Chernyakhovsky
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
14 years 2 days ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
WSC
2004
13 years 9 months ago
Automated Database and Schema-Based Data Interchange for Modeling and Simulation
Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...
Gregory A. Harrison, David S. Maynard, Eytan Polla...
WSC
2008
13 years 10 months ago
Industrial enterprises business processes simulation with BPsim.MAS
Necessity to mind a huge amount of factors while developing modern enterprises models dictates new requirements for modeling software, which needs to process all data to achieve p...
Konstantin A. Aksyonov, Eugene A. Bykov, Elena F. ...