13841 search results - page 394 / 2769 » Algorithms and Constraint Programming |
172
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
We introduce a novel and exciting research area: symmetrising levels of consistency to produce stronger forms of consistency and more efficient mechanisms for establishing them. W...
170
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
185
click to vote
PRICAI
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
180
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
149
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...