Sciweavers

2398 search results - page 278 / 480
» Constraint Programming and Graph Algorithms
Sort
View
ILP
2004
Springer
15 years 11 months ago
Macro-Operators Revisited in Inductive Logic Programming
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
Érick Alphonse
FUN
2010
Springer
230views Algorithms» more  FUN 2010»
15 years 9 months ago
Scheduling with Bully Selfish Jobs
In job scheduling with precedence constraints, i j means that job j cannot start being processed before job i is completed. In this paper we consider selfish bully jobs who do no...
Tami Tamir
ESOP
2010
Springer
15 years 10 months ago
CFA2: A Context-Free Approach to Control-Flow Analysis
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
Dimitrios Vardoulakis, Olin Shivers
COMSIS
2010
15 years 3 months ago
Metrics for evaluation of metaprogram complexity
The concept of complexity is used in many areas of computer science and software engineering. Software complexity metrics can be used to evaluate and compare quality of software de...
Robertas Damasevicius, Vytautas Stuikys
GD
2007
Springer
15 years 10 months ago
Efficient Extraction of Multiple Kuratowski Subdivisions
Abstract. A graph is planar if and only if it does not contain a Kuratowski subdivision. Hence such a subdivision can be used as a witness for non-planarity. Modern planarity testi...
Markus Chimani, Petra Mutzel, Jens M. Schmidt