A systematic approach to OSL application programming
IBM Systems Journal
Optimal spilling for CISC machines with few registers
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
A New Approach in Object-Based Knowledge Representation: The AROM System
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Finding Essential Attributes from Binary Data
Annals of Mathematics and Artificial Intelligence
Walverine: a Walrasian trading agent
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
GALAHAD, a library of thread-safe Fortran 90 packages for large-scale nonlinear optimization
ACM Transactions on Mathematical Software (TOMS)
SIPAMPL: Semi-infinite programming with AMPL
ACM Transactions on Mathematical Software (TOMS)
Approximate Selection Queries over Imprecise Data
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
A real-time synchronization mechanism for collaborative model management
Decision Support Systems
Journal of Computational and Applied Mathematics
Three-dimensional routing in underwater acoustic sensor networks
PE-WASUN '05 Proceedings of the 2nd ACM international workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
CoJava: a unified language for simulation and optimization
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Discrete Vt assignment and gate sizing using a self-snapping continuous formulation
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques
ACM Transactions on Mathematical Software (TOMS)
Model management decision environment: a web service prototype for spreadsheet models
Decision Support Systems
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Extending SQL with graph matching and set covering for decision support applications
Journal of Management Information Systems
A model-solver integration framework for autonomous and intelligent model solution
Decision Support Systems
A Semidefinite Programming Approach to Side Chain Positioning with New Rounding Strategies
INFORMS Journal on Computing
A particle swarm pattern search method for bound constrained global optimization
Journal of Global Optimization
Optimization and simulation of secondary settler models
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
Solving semi-infinite programming problems by using an interface between MATLAB and SIPAMPL
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
StAMPL: A Filtration-Oriented Modeling Tool for Multistage Stochastic Recourse Problems
INFORMS Journal on Computing
Leader-follower strategies for robotic patrolling in environments with arbitrary topologies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Grid-Enabled Optimization with GAMS
INFORMS Journal on Computing
PSwarm: a hybrid solver for linearly constrained global derivative-free optimization
Optimization Methods & Software - GLOBAL OPTIMIZATION
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Optimized routing design for wireless mesh networks based on neural network
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Capturing augmented sensing capabilities and intrusion delay in patrolling-intrusion games
CIG'09 Proceedings of the 5th international conference on Computational Intelligence and Games
OSiL: An instance language for optimization
Computational Optimization and Applications
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
Power-aware temporal isolation with variable-bandwidth servers
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Contribution of a simple sludge treatment in a WWTP optimization procedure
ICOSSE'06 Proceedings of the 5th WSEAS international conference on System science and simulation in engineering
Optimal trajectory approximation by cubic splines on fed-batch control problems
ICOSSE'06 Proceedings of the 5th WSEAS international conference on System science and simulation in engineering
Performance evaluation of an interior point filter line search method for constrained optimization
ICOSSSE'07 Proceedings of the 6th WSEAS international conference on System science and simulation in engineering
An augmented Lagrangian pattern search method for optimal WWTP designs
ICOSSSE'07 Proceedings of the 6th WSEAS international conference on System science and simulation in engineering
Performance evaluation of an interior point filter line search method for constrained optimization
MACMESE'07 Proceedings of the 9th WSEAS international conference on Mathematical and computational methods in science and engineering
An augmented Lagrangian pattern search method for optimal WWTP designs
MACMESE'07 Proceedings of the 9th WSEAS international conference on Mathematical and computational methods in science and engineering
Particle swarm and simulated annealing for multi-global optimization
EC'05 Proceedings of the 6th WSEAS international conference on Evolutionary computing
Using constraints to generate and explore higher order discriminative patterns
PAKDD'11 Proceedings of the 15th Pacific-Asia conference on Advances in knowledge discovery and data mining - Volume Part I
Heuristic pattern search for bound constrained minimax problems
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part III
On minimizing objective and KKT error in a filter line search strategy for an interior point method
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part III
Robust Optimization Made Easy with ROME
Operations Research
Knowledge-based modeling for disruption management in urban distribution
Expert Systems with Applications: An International Journal
Cloud brokering mechanisms for optimized placement of virtual machines across multiple providers
Future Generation Computer Systems
CoJava: optimization modeling by nondeterministic simulation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Automating mathematical program transformations
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Profile-guided deployment of stream programs on multicores
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
A mathematical programming approach to key-based election analysis
Operations Research Letters
Efficiently packing unequal disks in a circle
Operations Research Letters
Migrating operator placement for compositional stream graphs
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
A computational evaluation of optimization solvers for CTA
PSD'12 Proceedings of the 2012 international conference on Privacy in Statistical Databases
Scheduling strategies for optimal service deployment across multiple clouds
Future Generation Computer Systems
Hi-index | 0.01 |