Sciweavers

161 search results - page 14 / 33
» Design and Mathematical Analysis of Agent-Based Systems
Sort
View
HICSS
2007
IEEE
139views Biometrics» more  HICSS 2007»
15 years 6 months ago
Bridging and Persistence in Sustained, Collaborative Problem Solving Online
The Virtual Math Teams (VMT) project investigates the innovative use of online collaborative environments to support effective mathematical problem-solving by small groups of lear...
Johann W. Sarmiento, Gerry Stahl
105
Voted
GECCO
2010
Springer
194views Optimization» more  GECCO 2010»
15 years 5 months ago
Fitting multi-planet transit models to photometric time-data series by evolution strategies
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
Andreas M. Chwatal, Günther R. Raidl, Michael...
131
Voted
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 4 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
ARC
2009
Springer
188views Hardware» more  ARC 2009»
15 years 7 months ago
Word-Length Optimization and Error Analysis of a Multivariate Gaussian Random Number Generator
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
Chalermpol Saiprasert, Christos-Savvas Bouganis, G...
CN
2004
109views more  CN 2004»
15 years 8 days ago
Modeling correlations in web traces and implications for designing replacement policies
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
Konstantinos Psounis, An Zhu, Balaji Prabhakar, Ra...