Sciweavers

3433 search results - page 321 / 687
» Heuristics for a bidding problem
Sort
View
FMCAD
2007
Springer
15 years 10 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
ADBIS
2006
Springer
165views Database» more  ADBIS 2006»
15 years 10 months ago
Fragmenting XML Documents via Structural Constraints
Abstract. XML query processors suffer from main-memory limitations that prevent them from processing large XML documents. While content-based predicates can be used to project down...
Angela Bonifati, Alfredo Cuzzocrea, Bruno Zinno
EUC
2006
Springer
15 years 10 months ago
Optimizing Scheduling Stability for Runtime Data Alignment
Runtime data alignment has been paid attention recently since it can allocate data segment to processors dynamically according to applications' requirement. One of the key opt...
Ching-Hsien Hsu, Chao-Yang Lan, Shih-Chang Chen
AIPS
2007
15 years 9 months ago
An Innovative Product for Space Mission Planning: An A Posteriori Evaluation
This paper describes MEXAR2, a software tool that is currently used to synthesize the operational commands for data downlink from the on-board memory of an interplanetary space mi...
Amedeo Cesta, Gabriella Cortellessa, Simone Fratin...
ATAL
2008
Springer
15 years 8 months ago
Searching for approximate equilibria in empirical games
When exploring a game over a large strategy space, it may not be feasible or cost-effective to evaluate the payoff of every relevant strategy profile. For example, determining a p...
Patrick R. Jordan, Yevgeniy Vorobeychik, Michael P...