Sciweavers

1029 search results - page 137 / 206
» An Architecture for Problem Solving with Diagrams
Sort
View
APCSAC
2005
IEEE
14 years 2 months ago
Rule-Based Power-Balanced VLIW Instruction Scheduling with Uncertainty
Abstract. Power-balanced instruction scheduling for Very Long Instruction Word (VLIW) processors is an optimization problem which requires a good instruction-level power model for ...
Shu Xiao, Edmund Ming-Kit Lai, A. Benjamin Premkum...
GECCO
2005
Springer
130views Optimization» more  GECCO 2005»
14 years 2 months ago
ATNoSFERES revisited
ATNoSFERES is a Pittsburgh style Learning Classifier System (LCS) in which the rules are represented as edges of an Augmented Transition Network. Genotypes are strings of tokens ...
Samuel Landau, Olivier Sigaud, Marc Schoenauer
MOBIDE
2003
ACM
14 years 2 months ago
Semantically driven service interoperability for pervasive computing
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
Declan O'Sullivan, David Lewis
SERVICES
2008
95views more  SERVICES 2008»
13 years 10 months ago
Multiobjective Optimization of SLA-Aware Service Composition
In Service Oriented Architecture, each application is ofgned as a set of abstract services, which defines its functions. A concrete service(s) is selected at runtime for tract ser...
Hiroshi Wada, Paskorn Champrasert, Junichi Suzuki,...
JAR
2000
123views more  JAR 2000»
13 years 8 months ago
Local Search Algorithms for SAT: An Empirical Evaluation
Local search algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. For SAT, some ...
Holger H. Hoos, Thomas Stützle