Sciweavers

2877 search results - page 138 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
ICDE
2006
IEEE
124views Database» more  ICDE 2006»
15 years 9 months ago
Systematic Approach for Optimizing Complex Mining Tasks on Multiple Databases
It has been well recognized that data mining is an interactive and iterative process. In order to support this process, one of the long-term goals of data mining research has been...
Ruoming Jin, Gagan Agrawal
164
Voted
ICFP
2010
ACM
15 years 4 months ago
VeriML: typed computation of logical terms inside a language with effects
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
Antonis Stampoulis, Zhong Shao
134
Voted
IJCAI
2007
15 years 5 months ago
Handling Alternative Activities in Resource-Constrained Project Scheduling Problems
In the context of operative disruption management, decision support systems have to evaluate the typically manifold options of responding to disturbances: The temporal shift of ac...
Jürgen Kuster, Dietmar Jannach, Gerhard Fried...
127
Voted
WSC
1997
15 years 4 months ago
Application of Simulation to Scheduling, Sequencing, and Material Handling
We describe the application of simulation analysis to a complex operational problem involving scheduling, sequencing, and material-handling decisions. The manufacturing process un...
Edward J. Williams, Ramu Narayanaswamy
151
Voted
PCM
2004
Springer
144views Multimedia» more  PCM 2004»
15 years 8 months ago
Dynamic Programming Based Adaptation of Multimedia Contents in UMA
Content adaptation is an effective solution to support the quality of service for multimedia services over heterogeneous networks. This paper deals with the accuracy and the real-...
Truong Cong Thang, Yong Ju Jung, Yong Man Ro