Sciweavers

221 search results - page 6 / 45
» Twinkle: programming with color
Sort
View
IJCAI
2001
13 years 11 months ago
Graph Theoretical Characterization and Computation of Answer Sets
We give a graph theoretical characterization of answer sets of normal logic programs. We show that there is a one-to-one correspondence between answer sets and a special, non-stan...
Thomas Linke
IJBI
2010
62views more  IJBI 2010»
13 years 4 months ago
Size Functions for the Morphological Analysis of Melanocytic Lesions
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry, ...
Massimo Ferri, Ignazio Stanganelli
ICALP
2009
Springer
14 years 10 months ago
Incompressibility through Colors and IDs
Michael Dom, Daniel Lokshtanov, Saket Saurabh
CC
2006
Springer
132views System Software» more  CC 2006»
14 years 1 months ago
Register Allocation for Programs in SSA-Form
As register allocation is one of the most important phases in optimizing compilers, much work has been done to improve its quality and speed. We present a novel register allocation...
Sebastian Hack, Daniel Grund, Gerhard Goos