Sciweavers

2016 search results - page 205 / 404
» Megamaps: Construction and Examples
Sort
View
IOR
2011
133views more  IOR 2011»
15 years 1 months ago
Finite Disjunctive Programming Characterizations for General Mixed-Integer Linear Programs
In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We prop...
Binyuan Chen, Simge Küçükyavuz, S...
IS
2011
15 years 1 months ago
Time prediction based on process mining
Abstract. Process mining allows for the automated discovery of process models from event logs. These models provide insights and enable various types of model-based analysis. This ...
Wil M. P. van der Aalst, M. H. Schonenberg, Minseo...
DALT
2010
Springer
15 years 1 months ago
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
Iain Wallace, Michael Rovatsos
TFS
2011
194views Education» more  TFS 2011»
15 years 1 months ago
Top-Down Induction of Fuzzy Pattern Trees
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
R. Senge, Eyke Hüllermeier
TIM
2011
108views more  TIM 2011»
15 years 1 months ago
A Low-Cost Method for Measuring Surface Currents and Modeling Drifting Objects
—The ability to measure and model water currents is essential to ensure the safety and correct operations of many water surface activities. For example, the complex currents in h...
Huang-Chen Lee, Chun-Yu Lin, Chun-Han Lin, Sheng-W...