11949 search results - page 216 / 2390 » Some results on (a:b)-choosability |
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
When computing program slices on all variables in a system, we observed that many of these slices are the same. This leads to the question: Are we looking at software clones? We d...
AP2PC
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, we explore an architecture, called K-Trek, that enables mobile users to travel across knowledge distributed over large geographical areas (ranging from large public ...
117
click to vote
COLT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we initiate an exploration of relationships between “preference elicitation”, a learning-style problem that arises in combinatorial auctions, and the pr...
111
click to vote
ECSQARU
2003
Springer
15 years 6 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
108
click to vote
FASE
2003
Springer
15 years 6 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...