Sciweavers

3335 search results - page 340 / 667
» A Unified Approach to Modeling and Programming
Sort
View
WSC
1996
15 years 8 months ago
Simulation of complex construction processes
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...
Photios G. Ioannou, Julio C. Martínez
ICIW
2007
IEEE
15 years 11 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
ATAL
2004
Springer
16 years 25 days ago
Decentralized Resource Control for Multi-Agent Systems
In an open system, multi-agent computations must compete for resources required for satisfying their goals. We describe CyberOrgs, a hierarchical model for acquisition and control...
Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha
150
Voted
EOR
2002
66views more  EOR 2002»
15 years 7 months ago
Dynamic multi-objective heating optimization
We develop a multicriteria approach to the problem of space heating under a time varying price of electricity. In our dynamic goal programming model the goals are ideal temperatur...
Raimo P. Hämäläinen, Juha Mänt...
JMLR
2012
13 years 10 months ago
Adaptive MCMC with Bayesian Optimization
This paper proposes a new randomized strategy for adaptive MCMC using Bayesian optimization. This approach applies to nondifferentiable objective functions and trades off explor...
Nimalan Mahendran, Ziyu Wang, Firas Hamze, Nando d...