3913 search results - page 402 / 783 » complexity 2006 |
148
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
246
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Ordered Decision Diagrams with AND nodes, in order to capture function de...
189
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we introduce a complex allocation and scheduling problem for variable voltage Multi-Processor System-on-Chip (MPSoC) platforms. We propose a methodology to ...
164
click to vote
CSCWD
2006
Springer
15 years 10 months ago
2006
Springer
The process of collaborative engineering design is relatively complex, and often results in various conflicts due to multi-actors interactions. Therefore, a critical element of co...
148
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
In a previous work we introduced Dual Light Affine Logic (DLAL) ([BT04]) as a variant of Light Linear Logic suitable for guaranteeing complexity properties on lambda-calculus terms...