Sciweavers

3433 search results - page 260 / 687
» Heuristics for a bidding problem
Sort
View
AIR
2008
97views more  AIR 2008»
15 years 6 months ago
A design framework for metaheuristics
This paper is concerned with taking an engineering approach towards the application of metaheuristic problem solving methods, i.e. heuristics that aim to solve a wide variety of p...
Colin G. Johnson
SEMWEB
2007
Springer
16 years 25 days ago
Uncertain Reasoning for Creating Ontology Mapping on the Semantic Web
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
Miklos Nagy, Maria Vargas-Vera, Enrico Motta
COMPSAC
2006
IEEE
16 years 23 days ago
Preventing Feature Interactions by Constraints
As software systems evolve by adding new extensions some unexpected conflicts may occur, which is known as the Feature Interaction Problem (FIP). FIP is a threat to the dependabil...
Jihong Zuo, Qianxiang Wang, Hong Mei
CP
2003
Springer
15 years 12 months ago
Scheduling in the Face of Uncertain Resource Consumption and Utility
We discuss the problem of scheduling tasks that consume uncertain amounts of a resource with known capacity and where the tasks have uncertain utility. In these circumstances, we w...
Jeremy Frank, Richard Dearden
ASPDAC
2000
ACM
102views Hardware» more  ASPDAC 2000»
15 years 10 months ago
Multi-clock path analysis using propositional satisfiability
We present a satisfiability based multi-clock path analysis method. The method uses propositional satisfiability (SAT) in the detection of multi-clock paths. We show a method to re...
Kazuhiro Nakamura, Shinji Maruoka, Shinji Kimura, ...