4743 search results - page 551 / 949 » The PlusCal Algorithm Language |
116
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
We propose a two-level search strategy to solve a two dimensional circle packing problem. At the first level, a good enough packing algorithm called
CP
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we introduce a new method for bounding the solution to constraint optimization problems called semi-independent partitioning. We show that our method is a strict gene...
140
click to vote
PAMI
2010
14 years 9 months ago
2010
A variety of different scripts are used in writing languages throughout the world. In a multi-script, multilingual environment, it is essential to know the script used in writing a...
196
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
This paper presents the first experimental evaluation of the length-lex domain for set variables. The implementation is based on bound-consistency algorithms proposed in earlier wo...
138
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...