6833 search results - page 207 / 1367 » Some two-character sets |
167
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simulta...
127
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
127
click to vote
IV
2000
IEEE
15 years 8 months ago
2000
IEEE
We are generating music from a particular view of a multi-dimensional geographic information system (GIS) data set to alert a viewer to the existence of hidden clusters of data po...
147
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Agile Modeling provides a set of best practices of "light-weight" modeling to support the modeling process on a macro level within the agile development teams. The object...
130
click to vote
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Experimental results of applying two similarity measurements, Euclidean distance and chord distance, to test a set of six Brodatz’s textures are reported. Experiments show that ...