Sciweavers

1547 search results - page 220 / 310
» Solving Knapsack Problems in a Sticker Based Model
Sort
View
SE
2007
15 years 4 months ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia
ATAL
2010
Springer
15 years 3 months ago
Time constraints in mixed multi-unit combinatorial auctions
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
Andreas Witzel, Ulle Endriss
ANOR
2008
93views more  ANOR 2008»
15 years 3 months ago
Pruning in column generation for service vehicle dispatching
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
Stephan Westphal, Sven Oliver Krumke
AMC
2006
120views more  AMC 2006»
15 years 3 months ago
Discrete-velocity relaxation methods for large eddy simulation
ct 9 A new discrete-velocity method for the numerical solution of large eddy simulation (LES) is presented based on relax10 ation type formulation. The discrete-velocity equations ...
Mapundi K. Banda, Mohammed Seaïd, Ioan Teleag...
RAS
2002
67views more  RAS 2002»
15 years 2 months ago
Robotic clicker training
In this paper we want to propose the idea that some techniques used for animal training might be helpful for solving human robot interaction problems in the context of entertainme...
Frédéric Kaplan, Pierre-Yves Oudeyer...