Sciweavers

3318 search results - page 511 / 664
» The Weak Instance Model
Sort
View
148
Voted
EOR
2007
90views more  EOR 2007»
15 years 20 days ago
Accelerating column generation for variable sized bin-packing problems
In this paper, we study different strategies to stabilize and accelerate the column generation method, when it is applied specifically to the variable sized bin-packing problem,...
Cláudio Alves, José M. Valéri...
IANDC
2007
151views more  IANDC 2007»
15 years 20 days ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke
110
Voted
TOG
2008
101views more  TOG 2008»
15 years 19 days ago
Synthesis of constrained walking skills
Simulated characters in simulated worlds require simulated skills. We develop control strategies that enable physically-simulated characters to dynamically navigate environments w...
Stelian Coros, Philippe Beaudoin, KangKang Yin, Mi...
JETAI
2007
141views more  JETAI 2007»
15 years 19 days ago
Exchange market for complex commodities: search for optimal matches
The Internet has led to the development of on-line markets, and computer scientists have designed various auction algorithms, as well as automated exchanges for standardized commo...
Eugene Fink, Jianli Gong, Josh Johnson
91
Voted
JSW
2007
96views more  JSW 2007»
15 years 18 days ago
Dynamic Scheduling of Skippable Periodic Tasks: Issues and Proposals
Abstract— This paper deals with dynamic scheduling in realtime systems that have Quality of Service requirements. We assume that tasks are periodic and may miss their deadlines, ...
Maryline Silly-Chetto, Audrey Marchand