1743 search results - page 155 / 349 » Generalized Modal Satisfiability |
162
click to vote
SBACPAD
2007
IEEE
16 years 20 days 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...
154
click to vote
ECSQARU
2007
Springer
16 years 17 days 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...
185
click to vote
GECCO
2007
Springer
16 years 16 days 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...
158
click to vote
RE
2007
Springer
16 years 15 days 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...
149
click to vote
FOCS
2006
IEEE
16 years 13 days 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...