Sciweavers

2230 search results - page 149 / 446
» Reformulating Constraint Models Using Input Data
Sort
View
125
Voted
APSEC
2005
IEEE
15 years 8 months ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
137
Voted
WSC
2008
15 years 4 months ago
Simplification and aggregation strategies applied for factory analysis in conceptual phase using simulation
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
Matias Urenda Moris, Amos Ng, Jacob Svensson
IWANN
2007
Springer
15 years 8 months ago
A Novel 2-D Model Approach for the Prediction of Hourly Solar Radiation
In this work, a two-dimensional (2-D) representation of the hourly solar radiation data is proposed. The model enables accurate forecasting using image prediction methods. One year...
Fatih Onur Hocaoglu, Ömer Nezih Gerek, Mehmet...
106
Voted
IJCAI
2003
15 years 3 months ago
Gaussian Process Models of Spatial Aggregation Algorithms
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
Naren Ramakrishnan, Christopher Bailey-Kellogg
111
Voted
DAC
1996
ACM
15 years 6 months ago
A New Hybrid Methodology for Power Estimation
1 In this paper, we propose a hybrid approach for estimating the switching activities of the internal nodes in logic circuits. The new approach combines the advantages of the simul...
David Ihsin Cheng, Kwang-Ting Cheng, Deborah C. Wa...