1743 search results - page 155 / 349 » Generalized Modal Satisfiability |
130
Voted
SBACPAD
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, an adaptive wormhole router for a flexible on-chip interconnection network is proposed and implemented for a Chip-Multi Processor (CMP). It adopts a wormhole switc...
123
Voted
ECSQARU
2007
Springer
15 years 9 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
149
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The Unit Commitment Problem (UCP) is the task of finding an optimal turn on and turn off schedule for a group of power generation units over a given time horizon to minimize ope...
105
Voted
RE
2007
Springer
15 years 9 months ago
2007
Springer
Trading-off is a familiar element in requirements practice, but it generally assumes a set of independent requirements competing for resources. Choosing a tram route depends inste...
115
Voted
FOCS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present new algebraic approaches for several wellknown combinatorial problems, including non-bipartite matching, matroid intersection, and some of their generalizations. Our wo...