Sciweavers

2822 search results - page 455 / 565
» Mining Optimized Ranges
Sort
View
JIT
2005
Springer
115views Database» more  JIT 2005»
14 years 1 months ago
Dynamic Aspect Weaver Family for Family-based Adaptable Systems
: Complex software systems, like operating systems and middleware, have to cope with a broad range of requirements as well as strict resource constraints. Family-based software dev...
Wasif Gilani, Olaf Spinczyk
LCTRTS
2005
Springer
14 years 1 months ago
A dictionary construction technique for code compression systems with echo instructions
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...
Philip Brisk, Jamie Macbeth, Ani Nahapetian, Majid...
WADS
2005
Springer
162views Algorithms» more  WADS 2005»
14 years 1 months ago
The Minimum-Area Spanning Tree Problem
Motivated by optimization problems in sensor coverage, we formulate and study the Minimum-Area Spanning Tree (mast) problem: Given a set P of n points in the plane, find a spannin...
Paz Carmi, Matthew J. Katz, Joseph S. B. Mitchell
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
14 years 1 months ago
Automated Extraction of Problem Structure
Most problems studied in artificial intelligence possess some form of structure, but a precise way to define such structure is so far lacking. We investigate how the notion of pr...
Anthony Bucci, Jordan B. Pollack, Edwin D. de Jong
LPNMR
2004
Springer
14 years 1 months ago
Simplifying Logic Programs Under Uniform and Strong Equivalence
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
Thomas Eiter, Michael Fink, Hans Tompits, Stefan W...