Sciweavers

1512 search results - page 117 / 303
» When Suboptimal Rules
Sort
View
ENTCS
2008
62views more  ENTCS 2008»
14 years 11 months ago
Undecidable Control Conditions in Graph Transformation Units
Graph transformation units are an approach-independent concept for programming by applying rules and imported transformation units to graphs, starting in an initial and ending in ...
Karsten Hölscher, Renate Klempien-Hinrichs, P...
JMLR
2008
117views more  JMLR 2008»
14 years 11 months ago
Closed Sets for Labeled Data
Closed sets have been proven successful in the context of compacted data representation for association rule learning. However, their use is mainly descriptive, dealing only with ...
Gemma C. Garriga, Petra Kralj, Nada Lavrac
JUCS
2008
124views more  JUCS 2008»
14 years 11 months ago
Mismatch Avoidance in Web Services Software Architectures
: Architectural mismatches are a recognized obstacle to successful software reuse. An architectural mismatch occurs when two or more software components are connected to form a sys...
Cristina Gacek, Carl Gamble
ANOR
2005
124views more  ANOR 2005»
14 years 11 months ago
On Compact Formulations for Integer Programs Solved by Column Generation
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
Daniel Villeneuve, Jacques Desrosiers, Marco E. L&...
JANCL
2007
106views more  JANCL 2007»
14 years 11 months ago
Dynamic logic for belief revision
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
Johan van Benthem