Sciweavers

11484 search results - page 104 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
FM
2009
Springer
127views Formal Methods» more  FM 2009»
16 years 27 days ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...
MIG
2009
Springer
16 years 26 days ago
Interactive Modeling, Simulation and Control of Large-Scale Crowds and Traffic
Ming C. Lin, Stephen J. Guy, Rahul Narain, Jason S...
EVOW
2010
Springer
16 years 25 days ago
Investigating the Local-Meta-Model CMA-ES for Large Population Sizes
For many real-life engineering optimization problems, the cost of one objective function evaluation can take several minutes or hours. In this context, a popular approach to reduce...
Zyed Bouzarkouna, Anne Auger, Didier Yu Ding
ICPR
2008
IEEE
16 years 23 days ago
Large margin AR model for time series classification
B. Venkataramana B. Kini, C. Chandra Sekhar