11949 search results - page 326 / 2390 » Some results on (a:b)-choosability |
104
click to vote
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
The proposed research defines data fusion approaches to support software maintenance tasks at the feature level. Static, dynamic, and textual sources of information are combined t...
107
click to vote
TRUSTBUS
2009
Springer
15 years 8 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
112
click to vote
COCO
2009
Springer
15 years 8 months ago
2009
Springer
—The Berman-Hartmanis conjecture states that all NP-complete sets are P-isomorphic each other. On this conjecture, we first improve the result of [3] and show that all NP-comple...
113
Voted
DFG
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We survey the conceptual framework and several applications of the iterative compression technique introduced in 2004 by Reed, Smith, and Vetta. This technique has proven...
107
Voted
LOPSTR
2009
Springer
15 years 8 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...