1749 search results - page 107 / 350 » Conditional colorings of graphs |
180
click to vote
OOPSLA
2007
Springer
16 years 17 days ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
155
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
165
click to vote
ENTCS
2008
15 years 6 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
188
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper proposes a document image binarization method, which is especially robust to the images degraded by uneven light condition, such as the camera captured document images....
162
click to vote
AAAI
2006
15 years 7 months ago
2006
We introduce CUI networks, a compact graphical representation of utility functions over multiple attributes. CUI networks model multiattribute utility functions using the well stu...