2084 search results - page 203 / 417 » Set Constraints in Logic Programming |
112
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
133
click to vote
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
When vectorizing for SIMD architectures that are commonly employed by today’s multimedia extensions, one of the new challenges that arise is the handling of memory alignment. Pr...
140
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
154
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
231
click to vote
GIS
2011
ACM
14 years 8 months ago
2011
ACM
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...