Sciweavers

INFORMS
1998
142views more  INFORMS 1998»
13 years 4 months ago
Distributed State Space Generation of Discrete-State Stochastic Models
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
INFORMS
1998
150views more  INFORMS 1998»
13 years 4 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
INFORMS
1998
126views more  INFORMS 1998»
13 years 4 months ago
An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System
stracts of Integer Programming Course By Vinodhshankar Balasubramanian An Efficient Algorithm for Solving an Air Traffic Management Model of the National Airspace System (NAS) – ...
E. Andrew Boyd, Rusty Burlingame, Kenneth Lindsay
INFORMS
1998
87views more  INFORMS 1998»
13 years 4 months ago
On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
Hemant K. Bhargava, Ramayya Krishnan, Peter Piela
INFORMS
1998
100views more  INFORMS 1998»
13 years 4 months ago
Feature Selection via Mathematical Programming
The problem of discriminating between two nite point sets in n-dimensional feature space by a separating plane that utilizes as few of the features as possible, is formulated as a...
Paul S. Bradley, Olvi L. Mangasarian, W. Nick Stre...